Ejemplos de Microsoft.Dafny.Triggers TriggerAnnotationsCache en C# (CSharp)

Ejemplo n.º 1

Archivo: TriggersCollector.cs Proyecto: utaal/dafny

 internal TriggersCollector(Dictionary <Expression, HashSet <OldExpr> > exprsInOldContext)
 {
     this.cache = new TriggerAnnotationsCache(exprsInOldContext);
 }

Ejemplo n.º 2

 internal TriggersCollector(HashSet <Expression> exprsInOldContext)
 {
     this.cache = new TriggerAnnotationsCache(exprsInOldContext);
 }