Cmd Class Reference

Inheritance diagram for Cmd:

[legend]

List of all members.

---

Detailed Description

Definition at line 152 of file Formula.cpp.

Public Member Functions
virtual	~Cmd ()
virtual void	execute (TRuntimeStack *, ISatItem *)=0
Static Public Member Functions
static Cmd *	fromToken (Token token)
Protected Member Functions
	Cmd ()

---

Constructor & Destructor Documentation

virtual ~Cmd

(

)

[inline, virtual]

Definition at line 155 of file Formula.cpp.

Cmd

(

)

[inline, protected]

Definition at line 158 of file Formula.cpp.

---

Member Function Documentation

Cmd * fromToken

(

Token

token

)

[static]

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.

virtual void execute	(	TRuntimeStack *	,
		ISatItem *
	)			[pure virtual]

Implemented in CmdConstant, CmdVariable, CmdUnaryNot, CmdBinary, and CmdList.

Referenced by CmdList::execute().

---

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

• Formula.cpp

---