115 const AND & operator=(
const AND & right );
124 OR(
const OR & right );
127 virtual OR *
clone(
void )
const;
130 const OR & operator=(
const OR & right );
145 const NOT & operator=(
const NOT & right );
Predicate(const Predicate &right)
virtual Cut * clone() const =0
OR operator||(const Cut< Type > &A) const
NOT operator!(void) const
virtual bool operator()(const Type &t) const =0
AND operator&&(const Cut< Type > &A) const