public override TResult Accept <TResult>(IParseTreeVisitor <TResult> visitor)
{
IFormulaVisitor <TResult> typedVisitor = visitor as IFormulaVisitor <TResult>;
if (typedVisitor != null)
{
return(typedVisitor.VisitBoolean(this));
}
else
{
return(visitor.VisitChildren(this));
}
}
public override IFormula visit(IFormulaVisitor v)
{
return(v.visit(this));
}
public override Formula Accept(IFormulaVisitor visitor)
{
throw new NotImplementedException();
}
public override Formula Accept(IFormulaVisitor visitor)
{
return visitor.Visit(this);
}
public override IFormula Accept(IFormulaVisitor visitor)
{
return FormulaRef.Accept(this, visitor);
}
public static IFormula Accept(IFormulaRef formula, IFormulaVisitor visitor)
{
throw new InvalidOperationException("Must convert this to an object implemented IFormula by calling Establish().");
}
public abstract IFormula Accept(IFormulaVisitor visitor);
public abstract IFormula visit(IFormulaVisitor v);
public ConvertIncreaser(IFormulaVisitor visitor)
: base(visitor)
{
}
public FormulaAdapter(IFormulaVisitor visitor)
{
Required.NotDefault(visitor, () => visitor);
this.visitor = visitor;
}
public static T Apply <T>(this Formula f, IFormulaVisitor <T> visitor)
{
return(visitor.Visit(f));
}
public IFormula visit(IFormulaVisitor v)
{
return(v.visit(this));
}
