smtrat::parser::ParserState::ScriptScope Struct Reference

#include <ParserState.h>

Collaboration diagram for smtrat::parser::ParserState::ScriptScope:

Public Member Functions
	ScriptScope (const ParserState &state)
void	discharge (ParserState &state)

Private Attributes
std::map< std::string, types::TermType >	constants
std::map< std::string, types::VariableType >	variables
std::map< std::string, carl::UninterpretedFunction >	declared_functions
std::map< std::string, const FunctionInstantiator * >	defined_functions
std::map< std::string, const IndexedFunctionInstantiator * >	defined_indexed_functions
std::map< std::string, const UserFunctionInstantiator * >	defined_user_functions

Detailed Description

Definition at line 33 of file ParserState.h.

Constructor & Destructor Documentation

ScriptScope()

smtrat::parser::ParserState::ScriptScope::ScriptScope ( const ParserState &  state )

inline

Definition at line 42 of file ParserState.h.

Member Function Documentation

discharge()

void smtrat::parser::ParserState::ScriptScope::discharge ( ParserState &  state )

inline

Definition at line 51 of file ParserState.h.

Field Documentation

constants

std::map<std::string, types::TermType> smtrat::parser::ParserState::ScriptScope::constants

private

Definition at line 35 of file ParserState.h.

declared_functions

std::map<std::string, carl::UninterpretedFunction> smtrat::parser::ParserState::ScriptScope::declared_functions

private

Definition at line 37 of file ParserState.h.

defined_functions

std::map<std::string, const FunctionInstantiator*> smtrat::parser::ParserState::ScriptScope::defined_functions

private

Definition at line 38 of file ParserState.h.

defined_indexed_functions

std::map<std::string, const IndexedFunctionInstantiator*> smtrat::parser::ParserState::ScriptScope::defined_indexed_functions

private

Definition at line 39 of file ParserState.h.

defined_user_functions

std::map<std::string, const UserFunctionInstantiator*> smtrat::parser::ParserState::ScriptScope::defined_user_functions

private

Definition at line 40 of file ParserState.h.

variables

std::map<std::string, types::VariableType> smtrat::parser::ParserState::ScriptScope::variables

private

Definition at line 36 of file ParserState.h.

---

The documentation for this struct was generated from the following file:

• cli/parser/theories/ParserState.h