TPredicateNode Class Reference

Predicate node - represents a binary predicate operation on two predicate nodes. More...

#include <table.h>

Public Member Functions
	TPredicateNode ()
	Default constructor. More...
	TPredicateNode (const TAtomicPredicate &A)
	Constructor for atomic predicate node (leaf) More...
	TPredicateNode (TPredOp Opr)
	Constructor for logical operation predicate node (internal node) More...
	TPredicateNode (const TPredicateNode &P)
	Copy constructor. More...
void	AddLeftChild (TPredicateNode *Child)
	Add left child to this node. More...
void	AddRightChild (TPredicateNode *Child)
	Add right child to this node. More...
void	GetVariables (TStrV &Variables)
	Get variables in the predicate tree rooted at this node. More...

Public Attributes
TPredOp	Op
	Logical op represented by this node. More...
TBool	Result
	Result of evaulating the predicate rooted at this node. More...
TAtomicPredicate	Atom
	Atomic predicate at this node. More...
TPredicateNode *	Parent
	Parent node of this node. More...
TPredicateNode *	Left
	Left child of this node. More...
TPredicateNode *	Right

Friends
class	TPredicate

Detailed Description

Predicate node - represents a binary predicate operation on two predicate nodes.

Definition at line 51 of file table.h.

Constructor & Destructor Documentation

TPredicateNode::TPredicateNode ( )

inline

Default constructor.

Definition at line 60 of file table.h.

                                : Op(NOP), Result(false), Atom(), Parent(NULL), Left(NULL), 
                        Right(NULL) {}

TPredicateNode::TPredicateNode ( const TAtomicPredicate &  A )

inline

Constructor for atomic predicate node (leaf)

Definition at line 63 of file table.h.

                                                         : Op(NOP), Result(false), Atom(A), 
                        Parent(NULL), Left(NULL), Right(NULL) {}

TPredicateNode::TPredicateNode ( TPredOp  Opr )

inline

Constructor for logical operation predicate node (internal node)

Definition at line 66 of file table.h.

                                           : Op(Opr), Result(false), Atom(), Parent(NULL), 
                        Left(NULL), Right(NULL) {}

TPredicateNode::TPredicateNode ( const TPredicateNode &  P )

inline

Copy constructor.

Definition at line 69 of file table.h.

                                                       : Op(P.Op), Result(P.Result), Atom(P.Atom), 
                        Parent(P.Parent), Left(P.Left), Right(P.Right) {}

Member Function Documentation

void TPredicateNode::AddLeftChild ( TPredicateNode *  Child )

inline

Add left child to this node.

Definition at line 72 of file table.h.

{ Left = Child; Child->Parent = this; }

void TPredicateNode::AddRightChild ( TPredicateNode *  Child )

inline

Add right child to this node.

Definition at line 74 of file table.h.

{ Right = Child; Child->Parent = this; }

void TPredicateNode::GetVariables

(

TStrV &

Variables

)

Get variables in the predicate tree rooted at this node.

Definition at line 1 of file table.cpp.

                                                  {
  if (Left != NULL) { Left->GetVariables(Variables); }
  if (Right != NULL) { Right->GetVariables(Variables); }
  if (Op == NOP) {
    if (Atom.Lvar != "" ) { Variables.Add(Atom.Lvar); }
    if (Atom.Rvar != "" ) { Variables.Add(Atom.Rvar); }
  }
}

Friends And Related Function Documentation

friend class TPredicate

friend

Definition at line 77 of file table.h.

Member Data Documentation

TAtomicPredicate TPredicateNode::Atom

Atomic predicate at this node.

Definition at line 55 of file table.h.

TPredicateNode* TPredicateNode::Left

Left child of this node.

Definition at line 57 of file table.h.

TPredOp TPredicateNode::Op

Logical op represented by this node.

Definition at line 53 of file table.h.

TPredicateNode* TPredicateNode::Parent

Parent node of this node.

Definition at line 56 of file table.h.

TBool TPredicateNode::Result

Result of evaulating the predicate rooted at this node.

Definition at line 54 of file table.h.

TPredicateNode* TPredicateNode::Right

Right child of this node

Definition at line 58 of file table.h.

---

The documentation for this class was generated from the following files:

• snap-core/table.h
• snap-core/table.cpp