/*
*  Language of programs for transformation LTL formulae to Buchi
*    automata
*
*    - language can be english or czech
*
*  Milan Jaros - xjaros1@fi.muni.cz
*
*/

#ifndef DIVINE_BUCHI_LANG_HH
#define DIVINE_BUCHI_LANG_HH

#ifndef DOXYGEN_PROCESSING

//#include "deb/deb.hh"

namespace divine {
#endif //DOXYGEN_PROCESSING


#define BUCHI_LANG_CZ 1
#define BUCHI_LANG_EN 2

#define BUCHI_LANG BUCHI_LANG_EN


#ifndef DOXYGEN_PROCESSING
} //END of namespace DVE

//#include "deb/undeb.hh"
#endif //DOXYGEN_PROCESSING


#endif // DIVINE_BUCHI_LANG_HH
