omnics.event
Class EventHandler
java.lang.Object
omnics.event.EventHandler
- All Implemented Interfaces:
- java.io.Serializable
public class EventHandler
- extends java.lang.Object
- implements java.io.Serializable
- Author:
- Cristian Frasinaru
- See Also:
- Serialized Form
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
EventHandler
public EventHandler(SystematicSolver solver)
- Creates a new instance of EventHandler
getSolver
public SystematicSolver getSolver()
setSolver
public void setSolver(SystematicSolver solver)
fireSolverStarted
public void fireSolverStarted()
fireSolverFinished
public void fireSolverFinished()
fireSolutionExtended
public void fireSolutionExtended()
fireSolutionRestored
public void fireSolutionRestored()
fireSolutionFound
public void fireSolutionFound()
fireProblemFiltered
public void fireProblemFiltered(Filter filter)
fireValueRemoved
public void fireValueRemoved(Filter filter,
Var var,
java.lang.Object val,
Var trigger)
fireNogoodFound
public void fireNogoodFound(Filter filter)
fireSolverPaused
public void fireSolverPaused()
fireSolverResumed
public void fireSolverResumed()