CmdList Class Reference

Inheritance diagram for CmdList:

Inheritance graph
[legend]
Collaboration diagram for CmdList:

Collaboration graph
[legend]

List of all members.


Detailed Description

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

Constructor & Destructor Documentation

virtual ~CmdList (  )  [inline, virtual]

Definition at line 239 of file Formula.cpp.


Member Function Documentation

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 254 of file Formula.cpp.

References FastSatSolver::operator<<().

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