CmdVariable Class Reference

Inheritance diagram for CmdVariable:

[legend]

Collaboration diagram for CmdVariable:

[legend]

List of all members.

---

Detailed Description

Definition at line 169 of file Formula.cpp.

Public Member Functions
	CmdVariable (int varId)
virtual void	execute (TRuntimeStack *stack, ISatItem *data)
Static Public Member Functions
static Cmd *	fromToken (Token token)

---

Constructor & Destructor Documentation

CmdVariable

(

int

varId

)

[inline]

Definition at line 171 of file Formula.cpp.

---

Member Function Documentation

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

Implements Cmd.

Definition at line 172 of file Formula.cpp.

References ISatItem::getBit().

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:

• Formula.cpp

---