cvc4-1.4
CVC4::language Namespace Reference

Namespaces

 input
 
 output
 

Functions

InputLanguage toInputLanguage (OutputLanguage language)
 
OutputLanguage toOutputLanguage (InputLanguage language)
 
InputLanguage toInputLanguage (std::string language)
 
OutputLanguage toOutputLanguage (std::string language)
 

Function Documentation

InputLanguage CVC4::language::toInputLanguage ( OutputLanguage  language)
InputLanguage CVC4::language::toInputLanguage ( std::string  language)
OutputLanguage CVC4::language::toOutputLanguage ( InputLanguage  language)
OutputLanguage CVC4::language::toOutputLanguage ( std::string  language)