7 #ifndef BALL_KERNEL_EXPRESSIONTREE_H 8 #define BALL_KERNEL_EXPRESSIONTREE_H 10 #ifndef BALL_KERNEL_EXPRESSIONPREDICATE_H 91 virtual bool operator () (
const Atom& atom)
const;
108 void setType(
Type type) ;
112 Type getType()
const;
116 void setNegate(
bool negate);
120 bool getNegate()
const;
136 const list<const ExpressionTree*>& getChildren()
const;
149 virtual void clear();
155 void dump(std::ostream& is = std::cout,
Size depth = 0)
const;
186 #endif // BALL_KERNEL_EXPRESSIONTREE_H BALL_EXPORT bool operator!=(const String &s1, const String &s2)
The node is a logical OR conjunction.
list< const ExpressionTree * > children_
ExpressionPredicate * predicate_
BALL_EXPORT bool operator==(const String &s1, const String &s2)
#define BALL_CREATE(name)