CCM::StatePredicate Class Reference

List of all members.

---

Detailed Description

Predicate over a StateNode.

Public Member Functions
	StatePredicate (Model model, string[] spec, int specoffset)
	Initializes the state node predicate for the given model.
bool	contains (StateNode state)
	Returns whether the given state node satisfies all conditions.
override string	ToString ()
Private Attributes
IList	fieldPreds

---

Constructor & Destructor Documentation

CCM::StatePredicate::StatePredicate (  Model  model, string[]  spec, int  specoffset )

Initializes the state node predicate for the given model. spec is a string array of conditions of the form "value op value" (starting at index specoffset). op is a binary relation <, <=, =, >=, or >, and value is either a constant or a state field name. All conditions must be satisfied to satisfy the state predicate.

---

Member Function Documentation

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

Returns whether the given state node satisfies all conditions.

override string CCM::StatePredicate::ToString (   )

---

Member Data Documentation

IList CCM::StatePredicate::fieldPreds [private]

---

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

• statepredicate.cs

---