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 |
|
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. |
|
Returns whether the given state node satisfies all conditions.
|
|
|
|
|