parser.h File Reference

#include <cstddef>
#include <memory>
#include <string>
#include <unordered_map>
#include <unordered_set>
#include <vector>
#include "dag.h"
#include "options.h"
#include "parser/kind.h"
#include "util.h"

Include dependency graph for parser.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	stabilizer::parser::Parser
struct	stabilizer::parser::Parser::DTSelectorDecl
struct	stabilizer::parser::Parser::DTConstructorDecl
struct	stabilizer::parser::Parser::DTTypeDecl

Namespaces
namespace	stabilizer
namespace	stabilizer::parser

Typedefs
typedef std::shared_ptr< Parser >	stabilizer::parser::ParserPtr

Enumerations
enum class	stabilizer::parser::SCAN_MODE {   stabilizer::parser::SM_COMMON , stabilizer::parser::SM_SYMBOL , stabilizer::parser::SM_COMP_SYM , stabilizer::parser::SM_COMMENT ,   stabilizer::parser::SM_STRING }
enum class	stabilizer::parser::LET_MODE { stabilizer::parser::LM_NON_LET , stabilizer::parser::LM_START_LET , stabilizer::parser::LM_IN_LET }
enum class	stabilizer::parser::KEYWORD {   stabilizer::parser::KW_ID , stabilizer::parser::KW_WEIGHT , stabilizer::parser::KW_COMP , stabilizer::parser::KW_EPSILON ,   stabilizer::parser::KW_M , stabilizer::parser::KW_OPT_KIND , stabilizer::parser::KW_NAMED , stabilizer::parser::KW_PATTERN ,   stabilizer::parser::KW_NO_PATTERN , stabilizer::parser::KW_QID , stabilizer::parser::KW_SKOLEMID , stabilizer::parser::KW_LBLPOS ,   stabilizer::parser::KW_LBLNEG , stabilizer::parser::KW_NULL }
enum class	stabilizer::parser::CMD_TYPE {   stabilizer::parser::CT_UNKNOWN , stabilizer::parser::CT_EOF , stabilizer::parser::CT_ASSERT , stabilizer::parser::CT_CHECK_SAT ,   stabilizer::parser::CT_CHECK_SAT_ASSUMING , stabilizer::parser::CT_DECLARE_CONST , stabilizer::parser::CT_DECLARE_FUN , stabilizer::parser::CT_DECLARE_SORT ,   stabilizer::parser::CT_DEFINE_FUN , stabilizer::parser::CT_DEFINE_FUN_REC , stabilizer::parser::CT_DEFINE_FUNS_REC , stabilizer::parser::CT_DEFINE_SORT ,   stabilizer::parser::CT_ECHO , stabilizer::parser::CT_EXIT , stabilizer::parser::CT_GET_ASSERTIONS , stabilizer::parser::CT_GET_ASSIGNMENT ,   stabilizer::parser::CT_GET_INFO , stabilizer::parser::CT_GET_MODEL , stabilizer::parser::CT_GET_OPTION , stabilizer::parser::CT_GET_PROOF ,   stabilizer::parser::CT_GET_UNSAT_ASSUMPTIONS , stabilizer::parser::CT_GET_UNSAT_CORE , stabilizer::parser::CT_GET_VALUE , stabilizer::parser::CT_POP ,   stabilizer::parser::CT_PUSH , stabilizer::parser::CT_RESET , stabilizer::parser::CT_RESET_ASSERTIONS , stabilizer::parser::CT_SET_INFO ,   stabilizer::parser::CT_SET_LOGIC , stabilizer::parser::CT_SET_OPTION , stabilizer::parser::CT_EXISTS , stabilizer::parser::CT_FORALL ,   stabilizer::parser::CT_GET_OBJECTIVES , stabilizer::parser::CT_ASSERT_SOFT , stabilizer::parser::CT_DEFINE_OBJ , stabilizer::parser::CT_DEFINE_MIN_OBJ ,   stabilizer::parser::CT_DEFINE_MAX_OBJ , stabilizer::parser::CT_MINIMIZE , stabilizer::parser::CT_MAXIMIZE , stabilizer::parser::CT_LEX_OPTIMIZE ,   stabilizer::parser::CT_PARETO_OPTIMIZE , stabilizer::parser::CT_BOX_OPTIMIZE , stabilizer::parser::CT_MINMAX , stabilizer::parser::CT_MAXMIN ,   stabilizer::parser::CT_MAXSAT , stabilizer::parser::CT_MINSAT , stabilizer::parser::CT_OPTIMIZE }
enum class	stabilizer::parser::ERROR_TYPE {   stabilizer::parser::ERR_UNEXP_EOF , stabilizer::parser::ERR_SYM_MIS , stabilizer::parser::ERR_UNKWN_SYM , stabilizer::parser::ERR_PARAM_MIS ,   stabilizer::parser::ERR_PARAM_NBOOL , stabilizer::parser::ERR_PARAM_NNUM , stabilizer::parser::ERR_PARAM_NSAME , stabilizer::parser::ERR_LOGIC ,   stabilizer::parser::ERR_MUL_DECL , stabilizer::parser::ERR_MUL_DEF , stabilizer::parser::ERR_ZERO_DIVISOR , stabilizer::parser::ERR_FUN_LOCAL_VAR ,   stabilizer::parser::ERR_ARI_MIS , stabilizer::parser::ERR_TYPE_MIS , stabilizer::parser::ERR_NEG_PARAM }
enum class	stabilizer::parser::RESULT_TYPE {   stabilizer::parser::RT_SAT , stabilizer::parser::RT_UNSAT , stabilizer::parser::RT_DELTA_SAT , stabilizer::parser::RT_UNKNOWN ,   stabilizer::parser::RT_ERROR }

Functions
ParserPtr	stabilizer::parser::newParser ()
ParserPtr	stabilizer::parser::newParser (const std::string &filename)