Esempi in C# (CSharp) per Expr.AllSubExpressions

Esempio n. 1

File: TriggersCollector.cs Progetto: txiang61/dafny

 internal TermComparison CompareTo(TriggerTerm other) {
   if (this == other) {
     return TermComparison.SameStrength;
   } else if (Expr.AllSubExpressions(true, true).Any(other.Expr.ExpressionEq)) {
     return TermComparison.Stronger;
   } else {
     return TermComparison.NotStronger;
   }
 }