cvc4-1.3
CVC4::language::input Namespace Reference

Enumerations

enum  Language {
  LANG_AUTO, LANG_SMTLIB_V1, LANG_SMTLIB_V2, LANG_TPTP,
  LANG_CVC4, LANG_MAX
}
 

Functions

std::ostream & operator<< (std::ostream &out, Language lang)
 

Enumeration Type Documentation

Enumerator
LANG_AUTO 

Auto-detect the language.

LANG_SMTLIB_V1 

The SMTLIB v1 input language.

LANG_SMTLIB_V2 

The SMTLIB v2 input language.

LANG_TPTP 

The TPTP input language.

LANG_CVC4 

The CVC4 input language.

LANG_MAX 

LANG_MAX is > any valid InputLanguage id.

Definition at line 32 of file language.h.

Function Documentation

std::ostream & CVC4::language::input::operator<< ( std::ostream &  out,
Language  lang 
)
inline

Definition at line 62 of file language.h.

References LANG_AUTO, LANG_CVC4, LANG_SMTLIB_V1, LANG_SMTLIB_V2, LANG_TPTP, and CVC4::options::out.