-
- All Superinterfaces:
ILearnFactory
,IMoveFactory
,IResolutionHelper
,ISearchMonitorFactory
,ISelf<Solver>
- All Known Implementing Classes:
Solver
public interface ISolver extends ILearnFactory, IMoveFactory, ISearchMonitorFactory, IResolutionHelper
Interface to ease modeling Enables to make variables, views and constraints- Since:
- 4.0.0
- Author:
- Jean-Guillaume FAGES
-
-
Method Summary
-
Methods inherited from interface org.chocosolver.solver.search.loop.learn.ILearnFactory
setLearningSignedClauses, setNoLearning
-
Methods inherited from interface org.chocosolver.solver.search.loop.move.IMoveFactory
setDDS, setDFS, setGeometricalRestart, setHBFS, setLDS, setLNS, setLNS, setLubyRestart, setRestartOnSolutions, setRestarts
-
Methods inherited from interface org.chocosolver.solver.search.IResolutionHelper
eachSolutionWithMeasure, findAllOptimalSolutions, findAllSolutions, findLexOptimalSolution, findOptimalSolution, findParetoFront, findSolution, streamOptimalSolutions, streamSolutions
-
Methods inherited from interface org.chocosolver.solver.search.loop.monitors.ISearchMonitorFactory
attach, limitBacktrack, limitFail, limitNode, limitSearch, limitSolution, limitTime, limitTime, setNoGoodRecordingFromRestarts, setNoGoodRecordingFromSolutions
-
-