|
ginga 1.0
The Ginga iTV middleware
|

Public Types | |
| enum | Type { FALSUM = 0 , VERUM , ATOM , NEGATION , CONJUNCTION , DISJUNCTION } |
| enum | Test { EQ = 0 , NE , LT , LE , GT , GE } |
Public Member Functions | |
| Predicate (Predicate::Type) | |
| Predicate::Type | getType () |
| string | toString () |
| Predicate * | clone () |
| void | getTest (string *, Predicate::Test *, string *) |
| void | setTest (const string &, Predicate::Test, const string &) |
| const list< Predicate * > * | getChildren () |
| void | addChild (Predicate *) |
| Predicate * | getParent () |
| void | initParent (Predicate *) |
Private Attributes | ||
| Predicate::Type | _type | |
| struct { | ||
| Predicate::Test test | ||
| string left | ||
| string right | ||
| } | _atom | |
| list< Predicate * > | _children | |
| Predicate * | _parent | |