CmdBinary Class Reference

Inheritance diagram for CmdBinary:

[legend]

Collaboration diagram for CmdBinary:

[legend]

List of all members.

---

Detailed Description

Definition at line 190 of file Formula.cpp.

Public Member Functions
	CmdBinary (EToken e)
virtual void	execute (TRuntimeStack *stack, ISatItem *)
Static Public Member Functions
static Cmd *	fromToken (Token token)

---

Constructor & Destructor Documentation

CmdBinary

(

EToken

e

)

[inline]

Definition at line 192 of file Formula.cpp.

---

Member Function Documentation

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

Implements Cmd.

Definition at line 193 of file Formula.cpp.

References FastSatSolver::T_AND, FastSatSolver::T_OR, and FastSatSolver::T_XOR.

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

---