Uses of Interface
org.jacop.jasat.core.SolverComponent
Packages that use SolverComponent
Package
Description
-
Uses of SolverComponent in org.jacop.jasat.core
Classes in org.jacop.jasat.core that implement SolverComponentModifier and TypeClassDescriptionfinal class
A solver component for conflict learning.final class
The main solver structure, to be used either by a search component or by another program that uses it for conflict learning and detection.final class
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 SolverComponentModifier and TypeFieldDescriptionConfig.mainComponents
the list of components the solver must addMethods in org.jacop.jasat.core with parameters of type SolverComponentModifier and TypeMethodDescriptionvoid
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 SolverComponentModifier and TypeClassDescriptionclass
This class specifies an abstract class for clauses pools.final class
A database for binary clauses.final class
This provides a unique interface to several databases.final class
A standard database of clauses, implemented in an efficient way such that insertion or removal of clauses works fast.final class
A pool of long clauses, implemented with two watched an blocking literals to minimize cache misses.final class
A database for ternary clauses.final class
A database for unit clauses (length 1). -
Uses of SolverComponent in org.jacop.jasat.modules
Classes in org.jacop.jasat.modules that implement SolverComponentModifier and TypeClassDescriptionfinal class
counts the activity of literalsfinal class
module used for debug : it logs every event it is informed offinal class
module used to guide research by selecting the next literal to assertfinal class
A component that selects clauses to forget when solver.forget() is called.final class
A module that indicates if a restart would be useful now.final class
A basic searching component, which controls the solver to solve the problemfinal class
collects statistics about the solver -
Uses of SolverComponent in org.jacop.jasat.modules.interfaces
Subinterfaces of SolverComponent in org.jacop.jasat.modules.interfacesModifier and TypeInterfaceDescriptioninterface
A class that can register to the Solver, to be notified when some events occur.interface
interface for components that listen for backjumps, or restartsinterface
module that listens to add/removal of clausesinterface
module that listens to conflicts that are discovered.interface
module used when an explanation is foundinterface
called when the solver forget() method is called.interface
module called when a propagate event is calledinterface
module called when solution is found.interface
called when the solver starts or stops. -
Uses of SolverComponent in org.jacop.jasat.utils
Classes in org.jacop.jasat.utils that implement SolverComponentModifier and TypeClassDescriptionfinal class
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 SolverComponentModifier and TypeClassDescriptionfinal class
this class listens to changes in literals in SAT solver, and reminds what changes this implies for CP variablesfinal class
wrapper to communicate between SAT solver and CP solver.final class
a class used to debug, but with additional dataMethods in org.jacop.satwrapper with parameters of type SolverComponentModifier and TypeMethodDescriptionfinal 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 SolverComponentModifier and TypeClassDescriptionfinal class
clause database designed to handle efficiently CP domain constraints, with the interface of boolean clauses databases.