javax.constraints.impl.search

Class Solver

java.lang.Object

javax.constraints.impl.search.AbstractSolver

javax.constraints.impl.search.Solver

All Implemented Interfaces:

javax.constraints.Solver

Direct Known Subclasses:

LinearSolver

public class Solver
extends javax.constraints.impl.search.AbstractSolver

Field Summary

Fields inherited from class javax.constraints.impl.search.AbstractSolver

searchStrategies, UNLIMITED

Constructor Summary

Constructors

Constructor and Description
Solver()
Solver(javax.constraints.Problem problem)

Method Summary

Modifier and Type	Method and Description
boolean	applySolution(javax.constraints.Solution solution)
javax.constraints.Solution	findSolution(javax.constraints.ProblemState restoreOrNot)
javax.constraints.SearchStrategy	newSearchStrategy()
void	trace(javax.constraints.Var var)
void	trace(javax.constraints.Var[] vars)
void	trace(javax.constraints.VarSet setVar)

Methods inherited from class javax.constraints.impl.search.AbstractSolver

addExplanation, addLogStrategy, addObjective, addObjective, addReversibleAction, addSearchStrategy, addSearchStrategy, addSearchStrategy, addSearchStrategy, addSearchStrategy, addSearchStrategy, addSearchStrategy, addSearchStrategy, addSearchStrategy, addSearchStrategy, addSearchStrategy, addSolution, addStrategyLogVariables, applySolution, checkTimeLimit, clearSolutions, findAllSolutions, findOptimalSolution, findOptimalSolution, findOptimalSolution, findOptimalSolution, findOptimalSolutionBasic, findOptimalSolutionDichotomize, findOptimalSolutionDichotomize, findSolution, getExplanations, getLogStrategy, getMaxNumberOfSolutions, getNumberOfSolutions, getOptimizationStrategy, getOptimizationTolerance, getProblem, getSearchStrategies, getSearchStrategy, getSolution, getSolution, getSolutions, getSolverStartTime, getStrategyLogVariables, getTimeLimit, getTimeLimitGlobal, getTimeLimitStart, isTimeLimitExceeded, isTraceExecution, isTraceSolutions, log, logOptimizationStrategy, logStats, restoreProblem, saveProblem, setMaxNumberOfSolutions, setOptimizationStrategy, setOptimizationStrategy, setOptimizationTolerance, setProblem, setSearchStrategy, setSearchStrategy, setSearchStrategy, setSearchStrategy, setSearchStrategy, setSolverStartTime, setTimeLimit, setTimeLimitExceeded, setTimeLimitGlobal, setTimeLimitStart, solutionIterator, traceExecution, traceFailures, traceSolutions

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Solver

public Solver()

Solver

public Solver(javax.constraints.Problem problem)

Method Detail

trace

public void trace(javax.constraints.Var var)

trace

public void trace(javax.constraints.Var[] vars)

trace

public void trace(javax.constraints.VarSet setVar)

newSearchStrategy

public javax.constraints.SearchStrategy newSearchStrategy()

Specified by:

newSearchStrategy in interface javax.constraints.Solver

Specified by:

newSearchStrategy in class javax.constraints.impl.search.AbstractSolver

findSolution

public javax.constraints.Solution findSolution(javax.constraints.ProblemState restoreOrNot)

Specified by:

findSolution in interface javax.constraints.Solver

Specified by:

findSolution in class javax.constraints.impl.search.AbstractSolver

applySolution

public boolean applySolution(javax.constraints.Solution solution)

Specified by:

applySolution in class javax.constraints.impl.search.AbstractSolver