C# (CSharp) AskTheCode.SmtLibStandard Interpretation Examples

Example #1

File: ExpressionVisitor[TResult].cs Project: roberthusak/AskTheCode

 public virtual TResult VisitInterpretation(Interpretation interpretation)
 {
     return(this.DefaultVisit(interpretation));
 }

Example #2

 static ExpressionFactory()
 {
     True  = new Interpretation(Sort.Bool, true);
     False = new Interpretation(Sort.Bool, false);
 }

Example #3

 public virtual void VisitInterpretation(Interpretation interpretation)
 {
     this.DefaultVisit(interpretation);
 }