Definition at line 160 of file Formula.cpp.
Public Member Functions | |
CmdConstant (bool value) | |
virtual void | execute (TRuntimeStack *stack, ISatItem *) |
Static Public Member Functions | |
static Cmd * | fromToken (Token token) |
CmdConstant | ( | bool | value | ) | [inline] |
Definition at line 162 of file Formula.cpp.
virtual void execute | ( | TRuntimeStack * | stack, | |
ISatItem * | ||||
) | [inline, virtual] |
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.