diff options
Diffstat (limited to 'src/options/language.i')
-rw-r--r-- | src/options/language.i | 42 |
1 files changed, 0 insertions, 42 deletions
diff --git a/src/options/language.i b/src/options/language.i deleted file mode 100644 index 7f81ea7c6..000000000 --- a/src/options/language.i +++ /dev/null @@ -1,42 +0,0 @@ -%{ -#include "options/language.h" -%} - -namespace CVC4 { - namespace language { - namespace input { - %ignore operator<<(std::ostream&, Language); - }/* CVC4::language::input namespace */ - - namespace output { - %ignore operator<<(std::ostream&, Language); - }/* CVC4::language::output namespace */ - }/* CVC4::language namespace */ -}/* CVC4 namespace */ - -// These clash in the monolithic Java namespace, so we rename them. -%rename(InputLanguage) CVC4::language::input::Language; -%rename(OutputLanguage) CVC4::language::output::Language; - -%rename(INPUT_LANG_AUTO) CVC4::language::input::LANG_AUTO; -%rename(INPUT_LANG_SMTLIB_V2) CVC4::language::input::LANG_SMTLIB_V2; -%rename(INPUT_LANG_SMTLIB_V2_0) CVC4::language::input::LANG_SMTLIB_V2_0; -%rename(INPUT_LANG_SMTLIB_V2_5) CVC4::language::input::LANG_SMTLIB_V2_5; -%rename(INPUT_LANG_SMTLIB_V2_6) CVC4::language::input::LANG_SMTLIB_V2_6; -%rename(INPUT_LANG_TPTP) CVC4::language::input::LANG_TPTP; -%rename(INPUT_LANG_CVC4) CVC4::language::input::LANG_CVC4; -%rename(INPUT_LANG_MAX) CVC4::language::input::LANG_MAX; -%rename(INPUT_LANG_SYGUS_V2) CVC4::language::input::LANG_SYGUS_V2; - -%rename(OUTPUT_LANG_AUTO) CVC4::language::output::LANG_AUTO; -%rename(OUTPUT_LANG_SMTLIB_V2) CVC4::language::output::LANG_SMTLIB_V2; -%rename(OUTPUT_LANG_SMTLIB_V2_0) CVC4::language::output::LANG_SMTLIB_V2_0; -%rename(OUTPUT_LANG_SMTLIB_V2_5) CVC4::language::output::LANG_SMTLIB_V2_5; -%rename(OUTPUT_LANG_SMTLIB_V2_6) CVC4::language::output::LANG_SMTLIB_V2_6; -%rename(OUTPUT_LANG_TPTP) CVC4::language::output::LANG_TPTP; -%rename(OUTPUT_LANG_CVC4) CVC4::language::output::LANG_CVC4; -%rename(OUTPUT_LANG_AST) CVC4::language::output::LANG_AST; -%rename(OUTPUT_LANG_MAX) CVC4::language::output::LANG_MAX; -%rename(OUTPUT_LANG_SYGUS_V2) CVC4::language::output::LANG_SYGUS_V2; - -%include "options/language.h" |