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 | |