|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectfr.inria.oadymppac.parsing.event.EventListenerImpl
fr.inria.oadymppac.solver.parsing.AbstractManagerEventListener
fr.inria.oadymppac.solver.parsing.SolverManagerEventListener
Field Summary |
Fields inherited from interface fr.inria.oadymppac.solver.SolverTypes |
ANNOTATION, AWAKE, BACKTO, CAUSE, CONSTRAINT, CONSTRAINT_STATUS, DELTA, DOMAIN, EVENT_SIZE, EXCEPTION, EXPLANATION, POST, REDUCE, REJECT, REMOVE, RESTORE, SCHEDULE, SEARCHNODE, SOLVED, STAGE, STAGE_EVENT, STATE, SUSPEND, UPDATE, VALUELIST, VARIABLE, VARIABLE_STATUS |
Fields inherited from interface fr.inria.oadymppac.parsing.event.EventListener |
logger |
Constructor Summary | |
SolverManagerEventListener(Solver solver)
|
Method Summary | |
void |
eventProcess(AwakeEvent ev)
|
void |
eventProcess(NewConstraintEvent ev)
|
void |
eventProcess(NewVariableEvent ev)
|
void |
eventProcess(PostEvent ev)
|
void |
eventProcess(ReduceEvent ev)
|
void |
processEnd()
|
void |
processStart()
|
void |
show()
|
Methods inherited from class fr.inria.oadymppac.parsing.event.EventListenerImpl |
eventProcess |
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public SolverManagerEventListener(Solver solver)
Method Detail |
public void eventProcess(NewVariableEvent ev)
eventProcess
in class AbstractManagerEventListener
public void eventProcess(NewConstraintEvent ev)
eventProcess
in class AbstractManagerEventListener
public void eventProcess(PostEvent ev)
eventProcess
in class AbstractManagerEventListener
public void eventProcess(ReduceEvent ev)
eventProcess
in class AbstractManagerEventListener
public void eventProcess(AwakeEvent ev)
eventProcess
in class AbstractManagerEventListener
public void show()
public void processEnd()
processEnd
in interface EventListener
processEnd
in class AbstractManagerEventListener
public void processStart()
processStart
in interface EventListener
processStart
in class AbstractManagerEventListener
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |