|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectomnics.event.SolverAdapter
omnics.event.FilterObserver
public class FilterObserver
| Constructor Summary | |
|---|---|
FilterObserver()
|
|
| Method Summary | |
|---|---|
void |
solverFinished(SolverEvent event)
Called when the solver is finished. |
void |
solverStarted(SolverEvent event)
Called when the solver starts to solve the problem. |
void |
valueRemoved(EliminationEvent event)
Called when a value is removed by a filter. |
| Methods inherited from class omnics.event.SolverAdapter |
|---|
nogoodFound, problemFiltered, solutionExtended, solutionFound, solutionRestored, solverPaused, solverResumed |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
|---|
public FilterObserver()
| Method Detail |
|---|
public void solverStarted(SolverEvent event)
SolverListener
solverStarted in interface SolverListenersolverStarted in class SolverAdapterpublic void valueRemoved(EliminationEvent event)
SolverListener
valueRemoved in interface SolverListenervalueRemoved in class SolverAdapterpublic void solverFinished(SolverEvent event)
SolverListener
solverFinished in interface SolverListenersolverFinished in class SolverAdapter
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||