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 #define BALL_CREATE(name)
list< const ExpressionTree * > children_
The node is a logical OR conjunction.
BALL_EXPORT bool operator!=(const String &s1, const String &s2)
BALL_EXPORT bool operator==(const String &s1, const String &s2)
-*- Mode: C++; tab-width: 2; -*-
ExpressionPredicate * predicate_