Uses of Interface
org.jacop.jasat.core.SolverComponent
-
-
Uses of SolverComponent in org.jacop.jasat.core
Classes in org.jacop.jasat.core that implement SolverComponent Modifier and Type Class Description class
ConflictLearning
A solver component for conflict learning.class
Core
The main solver structure, to be used either by a search component or by another program that uses it for conflict learning and detection.class
Trail
It stores the current variables status (affected or not, with which value and explanation).Fields in org.jacop.jasat.core with type parameters of type SolverComponent Modifier and Type Field Description java.util.List<SolverComponent>
Config. mainComponents
the list of components the solver must addMethods in org.jacop.jasat.core with parameters of type SolverComponent Modifier and Type Method Description void
Core. addComponent(SolverComponent module)
give the module access to the whole class, even if the solver is only known as a ISatSolver -
Uses of SolverComponent in org.jacop.jasat.core.clauses
Classes in org.jacop.jasat.core.clauses that implement SolverComponent Modifier and Type Class Description class
AbstractClausesDatabase
This class specifies an abstract class for clauses pools.class
BinaryClausesDatabase
A database for binary clauses.class
DatabasesStore
This provides a unique interface to several databases.class
DefaultClausesDatabase
A standard database of clauses, implemented in an efficient way such that insertion or removal of clauses works fast.class
LongClausesDatabase
A pool of long clauses, implemented with two watched an blocking literals to minimize cache misses.class
TernaryClausesDatabase
A database for ternary clauses.class
UnaryClausesDatabase
A database for unit clauses (length 1). -
Uses of SolverComponent in org.jacop.jasat.modules
Classes in org.jacop.jasat.modules that implement SolverComponent Modifier and Type Class Description class
ActivityModule
counts the activity of literalsclass
DebugModule
module used for debug : it logs every event it is informed ofclass
HeuristicAssertionModule
module used to guide research by selecting the next literal to assertclass
HeuristicForgetModule
A component that selects clauses to forget when solver.forget() is called.class
HeuristicRestartModule
A module that indicates if a restart would be useful now.class
SearchModule
A basic searching component, which controls the solver to solve the problemclass
StatModule
collects statistics about the solver -
Uses of SolverComponent in org.jacop.jasat.modules.interfaces
Subinterfaces of SolverComponent in org.jacop.jasat.modules.interfaces Modifier and Type Interface Description interface
AssertionListener
A class that can register to the Solver, to be notified when some events occur.interface
BackjumpListener
interface for components that listen for backjumps, or restartsinterface
ClauseListener
module that listens to add/removal of clausesinterface
ConflictListener
module that listens to conflicts that are discovered.interface
ExplanationListener
module used when an explanation is foundinterface
ForgetListener
called when the solver forget() method is called.interface
PropagateListener
module called when a propagate event is calledinterface
SolutionListener
module called when solution is found.interface
StartStopListener
called when the solver starts or stops. -
Uses of SolverComponent in org.jacop.jasat.utils
Classes in org.jacop.jasat.utils that implement SolverComponent Modifier and Type Class Description class
MemoryPool
Class containing int[] of different lengths, to avoid allocating/deallocating too much. -
Uses of SolverComponent in org.jacop.satwrapper
Classes in org.jacop.satwrapper that implement SolverComponent Modifier and Type Class Description class
SatChangesListener
this class listens to changes in literals in SAT solver, and reminds what changes this implies for CP variablesclass
SatWrapper
wrapper to communicate between SAT solver and CP solver.class
WrapperDebugModule
a class used to debug, but with additional dataMethods in org.jacop.satwrapper with parameters of type SolverComponent Modifier and Type Method Description void
SatWrapper. addSolverComponent(SolverComponent module)
to add some module to the solver -
Uses of SolverComponent in org.jacop.satwrapper.translation
Classes in org.jacop.satwrapper.translation that implement SolverComponent Modifier and Type Class Description class
DomainClausesDatabase
clause database designed to handle efficiently CP domain constraints, with the interface of boolean clauses databases.
-