fr.inria.oadymppac.solver.analyser
Class SolverAnalyserImpl
java.lang.Object
fr.inria.oadymppac.solver.analyser.SolverAnalyserImpl
- All Implemented Interfaces:
- SolverAnalyser, SolverManagable, SolverTypes
- Direct Known Subclasses:
- AbstractGraphAnalyser
- public abstract class SolverAnalyserImpl
- extends java.lang.Object
- implements SolverAnalyser, SolverManagable, SolverTypes
- Author:
- raf
TODO To change the template for this generated type comment go to
Window - Preferences - Java - Code Generation - Code and Comments
Field Summary |
static org.apache.log4j.Logger |
logger
|
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 |
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
logger
public static final org.apache.log4j.Logger logger
SolverAnalyserImpl
public SolverAnalyserImpl(Solver solver)
getSolver
public Solver getSolver()
- Specified by:
getSolver
in interface SolverAnalyser
- Returns:
- Returns the solver.
setSolver
public void setSolver(Solver solver)
- Specified by:
setSolver
in interface SolverAnalyser
- Parameters:
solver
- The solver to set.
analyse
public void analyse()
- Specified by:
analyse
in interface SolverAnalyser
add
public void add(Variable variable)
- Specified by:
add
in interface SolverAnalyser
add
public void add(Constraint constraint)
- Specified by:
add
in interface SolverAnalyser
add
public void add(Reduce reduce)
- Specified by:
add
in interface SolverAnalyser
add
public void add(Awake awake)