Package org.jacop.jasat.modules.interfaces
package org.jacop.jasat.modules.interfaces
-
InterfacesClassDescriptionA 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.