// effectS: Returns all the terms in expression. If
// allowAllOperators is true, ensures that there are no NOTs or ORs
internal static IEnumerable <DomainTermExpr> GetTerms(DomainBoolExpr expression, bool allowAllOperators)
{
TermVisitor visitor = new TermVisitor(allowAllOperators);
return(expression.Accept <IEnumerable <DomainTermExpr> >(visitor));
}
public override void Accept(TermVisitor visitor)
{
visitor.Visit(this);
}
public abstract void Accept(TermVisitor visitor);
//////////////////////////////////////////////
public virtual void visit(TermVisitor v)
{
v.visit(this);
}
public override void accept(TermVisitor tv)
{
throw new NotImplementedException();
}
