SMTStabilizer API
Public API documentation for SMTStabilizer
Loading...
Searching...
No Matches
stabilizer::parser::ExprFrame Struct Reference

Public Member Functions

 ExprFrame ()
 

Public Attributes

FrameState state = FrameState::Start
 
SpecialType special_type = SpecialType::None
 
std::string headSymbol
 
std::string second_symbol
 
std::vector< std::shared_ptr< DAGNode > > func_args
 
std::vector< std::shared_ptr< DAGNode > > oper_params
 
int line = 0
 
std::shared_ptr< DAGNoderesult
 

Detailed Description

Definition at line 65 of file expr_parser.cpp.

Constructor & Destructor Documentation

◆ ExprFrame()

stabilizer::parser::ExprFrame::ExprFrame ( )
inline

Definition at line 75 of file expr_parser.cpp.

References func_args, and oper_params.

Member Data Documentation

◆ func_args

std::vector<std::shared_ptr<DAGNode> > stabilizer::parser::ExprFrame::func_args

Definition at line 70 of file expr_parser.cpp.

Referenced by ExprFrame(), and stabilizer::parser::Parser::parseExpr().

◆ headSymbol

std::string stabilizer::parser::ExprFrame::headSymbol

Definition at line 68 of file expr_parser.cpp.

Referenced by stabilizer::parser::Parser::parseExpr().

◆ line

int stabilizer::parser::ExprFrame::line = 0

Definition at line 72 of file expr_parser.cpp.

Referenced by stabilizer::parser::Parser::parseExpr().

◆ oper_params

std::vector<std::shared_ptr<DAGNode> > stabilizer::parser::ExprFrame::oper_params

Definition at line 71 of file expr_parser.cpp.

Referenced by ExprFrame(), and stabilizer::parser::Parser::parseExpr().

◆ result

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

Definition at line 73 of file expr_parser.cpp.

Referenced by stabilizer::parser::Parser::parseExpr().

◆ second_symbol

std::string stabilizer::parser::ExprFrame::second_symbol

Definition at line 69 of file expr_parser.cpp.

Referenced by stabilizer::parser::Parser::parseExpr().

◆ special_type

SpecialType stabilizer::parser::ExprFrame::special_type = SpecialType::None

Definition at line 67 of file expr_parser.cpp.

Referenced by stabilizer::parser::Parser::parseExpr().

◆ state

FrameState stabilizer::parser::ExprFrame::state = FrameState::Start

Definition at line 66 of file expr_parser.cpp.

Referenced by stabilizer::parser::Parser::parseExpr().


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