Esempi in C# (CSharp) per ISolverImplStatistics

Esempio n. 1

File: ConstraintIndependenceSolver.cs Progetto: shipeng331/symbooglix

 public void Reset()
 {
     ConstraintSetsReduced                 = 0;
     ConstraintSetsLeftUnchanged           = 0;
     UnderlyingSolverStats                 = null;
     TimeUsedToComputeReducedConstraintSet = TimeSpan.Zero;
 }