Uses of Package
org.jacop.jasat.modules.interfaces
Packages that use org.jacop.jasat.modules.interfaces
-
Classes in org.jacop.jasat.modules.interfaces used by org.jacop.jasat.coreClassDescriptionA class that can register to the Solver, to be notified when some events occur.interface for components that listen for backjumps, or restartsmodule that listens to add/removal of clausesmodule that listens to conflicts that are discovered.module used when an explanation is foundcalled when the solver forget() method is called.module called when a propagate event is calledmodule called when solution is found.called when the solver starts or stops.
-
Classes in org.jacop.jasat.modules.interfaces used by org.jacop.jasat.modulesClassDescriptionA class that can register to the Solver, to be notified when some events occur.interface for components that listen for backjumps, or restartsmodule that listens to add/removal of clausesmodule that listens to conflicts that are discovered.module used when an explanation is foundcalled when the solver forget() method is called.module called when a propagate event is calledmodule called when solution is found.called when the solver starts or stops.
-
Classes in org.jacop.jasat.modules.interfaces used by org.jacop.satwrapperClassDescriptionA class that can register to the Solver, to be notified when some events occur.interface for components that listen for backjumps, or restartsmodule that listens to add/removal of clausesmodule that listens to conflicts that are discovered.module used when an explanation is foundcalled when the solver forget() method is called.module called when a propagate event is calledmodule called when solution is found.called when the solver starts or stops.