cvc4-1.3
|
A collection of state for use by parser implementations. More...
#include "cvc4parser_public.h"
#include <string>
#include <set>
#include <list>
#include <cassert>
#include "parser/input.h"
#include "parser/parser_exception.h"
#include "expr/expr.h"
#include "expr/symbol_table.h"
#include "expr/kind.h"
#include "expr/expr_stream.h"
Go to the source code of this file.
Data Structures | |
class | CVC4::parser::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 | CVC4::parser::Parser::ExprStream |
An expression stream interface for a parser. More... | |
Namespaces | |
CVC4 | |
CVC4::parser | |
Macros | |
#define | __CVC4__PARSER__PARSER_STATE_H |
Enumerations | |
enum | CVC4::parser::DeclarationCheck { CVC4::parser::CHECK_DECLARED, CVC4::parser::CHECK_UNDECLARED, CVC4::parser::CHECK_NONE } |
Types of check for the symols. More... | |
enum | CVC4::parser::SymbolType { CVC4::parser::SYM_VARIABLE, CVC4::parser::SYM_SORT } |
Types of symbols. More... | |
Functions | |
std::ostream & | CVC4::parser::operator<< (std::ostream &out, DeclarationCheck check) |
Returns a string representation of the given object (for debugging). More... | |
std::ostream & | CVC4::parser::operator<< (std::ostream &out, SymbolType type) |
Returns a string representation of the given object (for debugging). More... | |
A collection of state for use by parser implementations.
** Original author: Morgan Deters ** Major contributors: Christopher L. Conway ** Minor contributors (to current version): Dejan Jovanovic, Francois Bobot, Andrew Reynolds ** This file is part of the CVC4 project. ** Copyright (c) 2009-2013 New York University and The University of Iowa ** See the file COPYING in the top-level source directory for licensing ** information.
A collection of state for use by parser implementations.
Definition in file parser.h.