public void DestroySolver(ISolverImpl solver)
{
if (solver != null)
{
solver.Destroy();
}
}
public void DestroySolver(ISolverImpl solver)
{
if (solver != null)
{
//if (colliderGrid != null)
// colliderGrid.DecreaseReferenceCount();
solver.Destroy();
}
}
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();
}
public SimpleSolver(ISolverImpl solverImpl)
{
this.SolverImpl = solverImpl;
InternalStatistics.Reset();
Timer = new Stopwatch();
}
public SMTLIBQueryLoggingSolverImpl(ISolverImpl underlyingImplementation, TextWriter TW, bool namedAttributeBindings, bool humanReadable)
{
this.UnderlyingImpl = underlyingImplementation;
Printer = new SMTLIBQueryPrinter(TW, namedAttributeBindings, humanReadable);
}
public void DestroySolver(ISolverImpl solver)
{
}