Home
last modified time | relevance | path

Searched refs:getLanguageHelp (Results 1 – 3 of 3) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/options/
H A Doptions_public_functions.cpp117 bool Options::getLanguageHelp() const{ in getLanguageHelp() function in CVC4::Options
H A Doptions.h219 bool getLanguageHelp() const;
/dports/math/cvc4/CVC4-1.7/src/main/
H A Ddriver_unified.cpp123 } else if( opts.getLanguageHelp() ) { in runCvc4()