Esempio n. 1
0
            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));
                }
            }
Esempio n. 2
0
 public override IFormula visit(IFormulaVisitor v)
 {
     return(v.visit(this));
 }
Esempio n. 3
0
 public override Formula Accept(IFormulaVisitor visitor)
 {
     throw new NotImplementedException();
 }
Esempio n. 4
0
 public override Formula Accept(IFormulaVisitor visitor)
 {
     return visitor.Visit(this);
 }
Esempio n. 5
0
 public override IFormula Accept(IFormulaVisitor visitor)
 {
     return FormulaRef.Accept(this, visitor);
 }
Esempio n. 6
0
 public static IFormula Accept(IFormulaRef formula, IFormulaVisitor visitor)
 {
     throw new InvalidOperationException("Must convert this to an object implemented IFormula by calling Establish().");
 }
Esempio n. 7
0
 public abstract IFormula Accept(IFormulaVisitor visitor);
Esempio n. 8
0
 public abstract IFormula visit(IFormulaVisitor v);
Esempio n. 9
0
 public ConvertIncreaser(IFormulaVisitor visitor)
     : base(visitor)
 {
 }
Esempio n. 10
0
 public FormulaAdapter(IFormulaVisitor visitor)
 {
     Required.NotDefault(visitor, () => visitor);
     this.visitor = visitor;
 }
Esempio n. 11
0
 public static T Apply <T>(this Formula f, IFormulaVisitor <T> visitor)
 {
     return(visitor.Visit(f));
 }
Esempio n. 12
0
 public IFormula visit(IFormulaVisitor v)
 {
     return(v.visit(this));
 }