public static void Collect(IEnumerable <Axiom> axioms) { var start = DateTime.UtcNow; var v = new OtherDefinitionAxiomsCollector(); foreach (var a in axioms) { v.currentAxiom = a; v.VisitExpr(a.Expr); v.currentAxiom = null; } var end = DateTime.UtcNow; if (CommandLineOptions.Clo.TraceCachingForDebugging) { Console.Out.WriteLine("Collected other definition axioms within {0:F0} ms.", end.Subtract(start).TotalMilliseconds); } }
public static void Collect(IEnumerable<Axiom> axioms) { var start = DateTime.UtcNow; var v = new OtherDefinitionAxiomsCollector(); foreach (var a in axioms) { v.currentAxiom = a; v.VisitExpr(a.Expr); v.currentAxiom = null; } var end = DateTime.UtcNow; if (CommandLineOptions.Clo.TraceCachingForDebugging) { Console.Out.WriteLine("Collected other definition axioms within {0:F0} ms.", end.Subtract(start).TotalMilliseconds); } }