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);
}
}
