public void DestroySolver(ISolverImpl solver)
 {
     if (solver != null)
     {
         solver.Destroy();
     }
 }
Esempio n. 2
0
 public void DestroySolver(ISolverImpl solver)
 {
     if (solver != null)
     {
         //if (colliderGrid != null)
         //    colliderGrid.DecreaseReferenceCount();
         solver.Destroy();
     }
 }
Esempio n. 3
0
            public SimpleSolverCache(ISolverImpl underlyingSolver, int maxCacheSize = 0)
            {
                this.UnderlyingSolver = underlyingSolver;
                Cache = new Dictionary <Query, IQueryResult>();
                InternalStatistics.Reset();

                if (maxCacheSize < 0)
                {
                    throw new ArgumentException("maxCacheSize must be >= 0");
                }

                this.MaxCacheSize = maxCacheSize;
            }
 public ConstraintIndependenceSolver(ISolverImpl underlyingSolver)
 {
     this.UnderlyingSolver       = underlyingSolver;
     ConstraintSetReductionTimer = new Stopwatch();
     InternalStatistics.Reset();
 }
Esempio n. 5
0
 public SimpleSolver(ISolverImpl solverImpl)
 {
     this.SolverImpl = solverImpl;
     InternalStatistics.Reset();
     Timer = new Stopwatch();
 }
Esempio n. 6
0
 public SMTLIBQueryLoggingSolverImpl(ISolverImpl underlyingImplementation, TextWriter TW, bool namedAttributeBindings, bool humanReadable)
 {
     this.UnderlyingImpl = underlyingImplementation;
     Printer             = new SMTLIBQueryPrinter(TW, namedAttributeBindings, humanReadable);
 }
 public void DestroySolver(ISolverImpl solver)
 {
 }