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

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