cvc4-1.4
|
Data Structures | |
class | Input |
An input to be parsed. More... | |
class | InputStream |
Wrapper around an input stream. More... | |
class | InputStreamException |
class | Parser |
This class encapsulates all of the state of a parser, including the name of the file, line number and column information, and in-scope declarations. More... | |
class | ParserBuilder |
A builder for input language parsers. More... | |
class | ParserEndOfFileException |
class | ParserException |
Enumerations | |
enum | DeclarationCheck { CHECK_DECLARED, CHECK_UNDECLARED, CHECK_NONE } |
Types of check for the symols. More... | |
enum | SymbolType { SYM_VARIABLE, SYM_SORT } |
Types of symbols. More... | |
Functions | |
std::ostream & | operator<< (std::ostream &out, DeclarationCheck check) |
Returns a string representation of the given object (for debugging). More... | |
std::ostream & | operator<< (std::ostream &out, SymbolType type) |
Returns a string representation of the given object (for debugging). More... | |
|
inline |
Returns a string representation of the given object (for debugging).
Definition at line 62 of file parser.h.
References CHECK_DECLARED, CHECK_NONE, and CHECK_UNDECLARED.
|
inline |
Returns a string representation of the given object (for debugging).
Definition at line 90 of file parser.h.
References SYM_SORT, and SYM_VARIABLE.