fr.inria.oadymppac.solver.parsing
Class SolverManagerEventListener

java.lang.Object
  extended byfr.inria.oadymppac.parsing.event.EventListenerImpl
      extended byfr.inria.oadymppac.solver.parsing.AbstractManagerEventListener
          extended byfr.inria.oadymppac.solver.parsing.SolverManagerEventListener
All Implemented Interfaces:
EventListener, java.util.EventListener, SolverManagable, SolverTypes

public class SolverManagerEventListener
extends AbstractManagerEventListener

Author:
raf

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.solver.parsing.AbstractManagerEventListener
eventProcess, eventProcess, eventProcess, eventProcess, eventProcess, eventProcess, eventProcess, eventProcess, eventProcess, eventProcess, eventProcess, eventProcess, eventProcess, eventProcess, eventProcess, eventProcess, eventProcess, extractAnnotationIdentifier, extractChoicePointIdentifier, extractConstraintIdentifier, extractEventIdentifier, extractFailureIdentifier, extractSolutionIdentifier, extractStageIdentifier, extractVariableIdentifier, getAnnotation, getAwake, getBackTo, getChoicePoint, getFailure, getNewConstraint, getNewVariable, getPost, getReduce, getReject, getRemove, getRestore, getSchedule, getSolution, getSolved, getSolver, getState, getSuspend, processInstruction, setSolver
 
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

SolverManagerEventListener

public SolverManagerEventListener(Solver solver)
Method Detail

eventProcess

public void eventProcess(NewVariableEvent ev)
Overrides:
eventProcess in class AbstractManagerEventListener

eventProcess

public void eventProcess(NewConstraintEvent ev)
Overrides:
eventProcess in class AbstractManagerEventListener

eventProcess

public void eventProcess(PostEvent ev)
Overrides:
eventProcess in class AbstractManagerEventListener

eventProcess

public void eventProcess(ReduceEvent ev)
Overrides:
eventProcess in class AbstractManagerEventListener

eventProcess

public void eventProcess(AwakeEvent ev)
Overrides:
eventProcess in class AbstractManagerEventListener

show

public void show()

processEnd

public void processEnd()
Specified by:
processEnd in interface EventListener
Overrides:
processEnd in class AbstractManagerEventListener

processStart

public void processStart()
Specified by:
processStart in interface EventListener
Overrides:
processStart in class AbstractManagerEventListener