public virtual TResult VisitInterpretation(Interpretation interpretation) { return(this.DefaultVisit(interpretation)); }
static ExpressionFactory() { True = new Interpretation(Sort.Bool, true); False = new Interpretation(Sort.Bool, false); }
public virtual void VisitInterpretation(Interpretation interpretation) { this.DefaultVisit(interpretation); }