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 |
|
|
|
Initialize single predicate condition.
|
|
Returns whether the given state node satisfies this condition.
|
|
|
|
|
|
|
|
|
|
|