CCM::PredCondition Class Reference

List of all members.

---

Detailed Description

Single predicate condition.

Public Member Functions
	PredCondition (Model model, string spec)
	Initialize single predicate condition.
bool	contains (StateNode state)
	Returns whether the given state node satisfies this condition.
override string	ToString ()
Private Types
enum	Op {   LT, LE, EQ, GE,   GT }
Static Private Member Functions
ConditionValue	parseValue (Model model, string val)
Private Attributes
Op	op
ConditionValue	left
ConditionValue	right

---

Member Enumeration Documentation

enum CCM::PredCondition::Op [private]

Enumeration values: LT  LE  EQ  GE  GT

---

Constructor & Destructor Documentation

CCM::PredCondition::PredCondition (  Model  model, string  spec )

Initialize single predicate condition. See also: StatePredicate.StatePredicate

---

Member Function Documentation

bool CCM::PredCondition::contains (  StateNode  state  )

Returns whether the given state node satisfies this condition.

ConditionValue CCM::PredCondition::parseValue (  Model  model, string  val )  [static, private]

override string CCM::PredCondition::ToString (   )

---

Member Data Documentation

ConditionValue CCM::PredCondition::left [private]

Op CCM::PredCondition::op [private]

ConditionValue CCM::PredCondition::right [private]

---

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

• statepredicate.cs

---