SMTStabilizer API
Public API documentation for SMTStabilizer
Loading...
Searching...
No Matches
Public Member Functions | Public Attributes | List of all members
stabilizer::parser::LetContext Struct Reference

Public Member Functions

 LetContext (int level=0)
 

Public Attributes

std::vector< std::shared_ptr< DAGNode > > params
 
std::vector< std::string > key_list
 
std::shared_ptr< DAGNode > result
 
std::shared_ptr< DAGNode > bind_var_list
 
int nesting_level
 
bool is_complete
 

Detailed Description

Definition at line 1780 of file base_parser.cpp.

Constructor & Destructor Documentation

◆ LetContext()

stabilizer::parser::LetContext::LetContext ( int  level = 0)
inline

Definition at line 1789 of file base_parser.cpp.

Member Data Documentation

◆ bind_var_list

std::shared_ptr<DAGNode> stabilizer::parser::LetContext::bind_var_list

Definition at line 1785 of file base_parser.cpp.

◆ is_complete

bool stabilizer::parser::LetContext::is_complete

Definition at line 1787 of file base_parser.cpp.

◆ key_list

std::vector<std::string> stabilizer::parser::LetContext::key_list

Definition at line 1783 of file base_parser.cpp.

◆ nesting_level

int stabilizer::parser::LetContext::nesting_level

Definition at line 1786 of file base_parser.cpp.

◆ params

std::vector<std::shared_ptr<DAGNode> > stabilizer::parser::LetContext::params

Definition at line 1782 of file base_parser.cpp.

◆ result

std::shared_ptr<DAGNode> stabilizer::parser::LetContext::result

Definition at line 1784 of file base_parser.cpp.

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