Main Page | Namespace List | Class Hierarchy | Class List | File List | Class Members

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:
Generated on Mon Jun 21 01:20:50 2004 for cs2ccmb by doxygen 1.3.7