C# (CSharp) ISolverImplStatistics Examples

Example #1

File: ConstraintIndependenceSolver.cs Project: shipeng331/symbooglix

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