Ginga  0.13.6.2086-83aa
The iTV middleware.
Public Types | Public Member Functions | Private Attributes | List of all members
Predicate Class Reference
Collaboration diagram for Predicate:
Collaboration graph
[legend]

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
 
The documentation for this class was generated from the following files: