TPredicateNode Member List

This is the complete list of members for TPredicateNode, including all inherited members.

AddLeftChild(TPredicateNode *Child)	TPredicateNode	inline
AddRightChild(TPredicateNode *Child)	TPredicateNode	inline
Atom	TPredicateNode
GetVariables(TStrV &Variables)	TPredicateNode
Left	TPredicateNode
Op	TPredicateNode
Parent	TPredicateNode
Result	TPredicateNode
Right	TPredicateNode
TPredicate class	TPredicateNode	friend
TPredicateNode()	TPredicateNode	inline
TPredicateNode(const TAtomicPredicate &A)	TPredicateNode	inline
TPredicateNode(TPredOp Opr)	TPredicateNode	inline
TPredicateNode(const TPredicateNode &P)	TPredicateNode	inline