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

)