cvc4-1.3
CVC4::language Namespace Reference

Namespaces

 input
 
 output
 

Functions

InputLanguage toInputLanguage (OutputLanguage language)
 
OutputLanguage toOutputLanguage (InputLanguage language)
 

Function Documentation

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