CmdConstant Class Reference

Inheritance diagram for CmdConstant:

Inheritance graph
[legend]
Collaboration diagram for CmdConstant:

Collaboration graph
[legend]

List of all members.


Detailed Description

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 CmdfromToken (Token token)

Constructor & Destructor Documentation

CmdConstant ( bool  value  )  [inline]

Definition at line 162 of file Formula.cpp.


Member Function Documentation

virtual void execute ( TRuntimeStack stack,
ISatItem  
) [inline, virtual]

Implements Cmd.

Definition at line 163 of file Formula.cpp.

Cmd * fromToken ( Token  token  )  [static, inherited]

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.


The documentation for this class was generated from the following file:
Generated on Wed Nov 5 22:30:22 2008 for Fast SAT Solver by  doxygen 1.5.4