Home
last modified time | relevance | path

Searched refs:LANG_SMTLIB_V2_6 (Results 1 – 6 of 6) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/options/
H A Dlanguage.cpp59 return exact ? lang == input::LANG_SMTLIB_V2_6 in isInputLang_smt2_6()
60 : (lang >= input::LANG_SMTLIB_V2_6 in isInputLang_smt2_6()
66 return exact ? lang == output::LANG_SMTLIB_V2_6 in isOutputLang_smt2_6()
67 : (lang >= output::LANG_SMTLIB_V2_6 in isOutputLang_smt2_6()
76 case output::LANG_SMTLIB_V2_6: in toInputLanguage()
100 case input::LANG_SMTLIB_V2_6: in toOutputLanguage()
145 return output::LANG_SMTLIB_V2_6; in toOutputLanguage()
185 return input::LANG_SMTLIB_V2_6; in toInputLanguage()
H A Dlanguage.h54 LANG_SMTLIB_V2_6, enumerator
56 LANG_SMTLIB_V2 = LANG_SMTLIB_V2_6,
90 case LANG_SMTLIB_V2_6:
137 LANG_SMTLIB_V2_6 = input::LANG_SMTLIB_V2_6, enumerator
175 case LANG_SMTLIB_V2_6: out << "LANG_SMTLIB_V2_6"; break;
H A Dlanguage.i26 %rename(INPUT_LANG_SMTLIB_V2_6) CVC4::language::input::LANG_SMTLIB_V2_6;
39 %rename(OUTPUT_LANG_SMTLIB_V2_6) CVC4::language::output::LANG_SMTLIB_V2_6;
/dports/math/cvc4/CVC4-1.7/src/printer/
H A Dprinter.cpp45 case LANG_SMTLIB_V2_6: in makePrinter()
/dports/math/cvc4/CVC4-1.7/src/main/
H A Ddriver_unified.cpp167 opts.setInputLanguage(language::input::LANG_SMTLIB_V2_6); in runCvc4()
/dports/math/cvc4/CVC4-1.7/src/smt/
H A Dsmt_engine.cpp2391 ilang = language::input::LANG_SMTLIB_V2_6; in setInfo()