Searched refs:getOutputLanguage (Results 1 – 8 of 8) sorted by relevance
23 public InputLanguage getOutputLanguage() throws Cvc3Exception { in getOutputLanguage() method in ExprManager
66 vc.getExprManager().getOutputLanguage(); in main()
67 if (language::isOutputLang_smt2(opts.getOutputLanguage())) in main()
187 if(opts.getOutputLanguage() == language::output::LANG_AUTO) { in runCvc4()202 (*(opts.getOut())) << language::SetLanguage(opts.getOutputLanguage()); in runCvc4()
338 if (language::isOutputLang_smt2(d_options.getOutputLanguage())) in readCommand()
142 OutputLanguage outputLanguage = d_threadOptions[i].getOutputLanguage(); in lemmaSharingInit()
49 OutputLanguage Options::getOutputLanguage() const { in getOutputLanguage() function in CVC4::Options
202 OutputLanguage getOutputLanguage() const;