fr.inria.oadymppac.solver.analyser
Class VariableConstraintGraphAnalyser
java.lang.Object
fr.inria.oadymppac.solver.analyser.SolverAnalyserImpl
fr.inria.oadymppac.solver.analyser.AbstractGraphAnalyser
fr.inria.oadymppac.solver.analyser.VariableConstraintGraphAnalyser
- All Implemented Interfaces:
- SolverAnalyser, SolverManagable, SolverTypes
- public class VariableConstraintGraphAnalyser
- extends AbstractGraphAnalyser
- implements SolverAnalyser
- Author:
- raf
Window - Preferences - Java - Code Generation - Code and Comments
Field Summary |
static java.lang.String |
LABEL
|
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 |
LABEL
public static final java.lang.String LABEL
- See Also:
- Constant Field Values
VariableConstraintGraphAnalyser
public VariableConstraintGraphAnalyser(Solver solver)
- Parameters:
solver
-
add
public void add(Variable variable)
- Specified by:
add
in interface SolverAnalyser
- Overrides:
add
in class SolverAnalyserImpl
add
public void add(Constraint constraint)
- Specified by:
add
in interface SolverAnalyser
- Overrides:
add
in class SolverAnalyserImpl
add
public void add(Reduce reduce)
- Specified by:
add
in interface SolverAnalyser
- Overrides:
add
in class SolverAnalyserImpl
init_graph
public void init_graph()
getLabel
public java.lang.String getLabel()
- Specified by:
getLabel
in interface SolverAnalyser
- Specified by:
getLabel
in class AbstractGraphAnalyser
- Returns:
- Returns the lABEL.