Definition at line 237 of file Formula.cpp.
Public Member Functions | |
virtual | ~CmdList () |
virtual void | execute (TRuntimeStack *stack, ISatItem *data) |
void | operator<< (Cmd *cmd) |
void | operator<< (const Token &token) |
Static Public Member Functions | |
static Cmd * | fromToken (Token token) |
virtual ~CmdList | ( | ) | [inline, virtual] |
Definition at line 239 of file Formula.cpp.
virtual void execute | ( | TRuntimeStack * | stack, | |
ISatItem * | data | |||
) | [inline, virtual] |
Implements Cmd.
Definition at line 244 of file Formula.cpp.
References Cmd::execute().
Referenced by InterpretedFormula::eval().
void operator<< | ( | Cmd * | cmd | ) | [inline] |
Definition at line 251 of file Formula.cpp.
void operator<< | ( | const Token & | token | ) | [inline] |
Definition at line 219 of file Formula.cpp.
References Token::m_ext_number, Token::m_token, FastSatSolver::T_AND, FastSatSolver::T_FALSE, FastSatSolver::T_NOT, FastSatSolver::T_OR, FastSatSolver::T_TRUE, FastSatSolver::T_VARIABLE, and FastSatSolver::T_XOR.