SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Public Member Functions | Private Attributes
smtrat::parser::ParserState::ExpressionScope Struct Reference

#include <ParserState.h>

Collaboration diagram for smtrat::parser::ParserState::ExpressionScope:
Collaboration graph
[legend]

Public Member Functions

 ExpressionScope (const ParserState &state)
 
void discharge (ParserState &state)
 

Private Attributes

std::map< std::string, types::TermType > bindings
 

Detailed Description

Definition at line 20 of file ParserState.h.

Constructor & Destructor Documentation

◆ ExpressionScope()

smtrat::parser::ParserState::ExpressionScope::ExpressionScope ( const ParserState &  state)
inline

Definition at line 24 of file ParserState.h.

Member Function Documentation

◆ discharge()

void smtrat::parser::ParserState::ExpressionScope::discharge ( ParserState &  state)
inline

Definition at line 28 of file ParserState.h.

Field Documentation

◆ bindings

std::map<std::string, types::TermType> smtrat::parser::ParserState::ExpressionScope::bindings
private

Definition at line 22 of file ParserState.h.

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