fr.inria.oadymppac.solver
Interface Solver
- All Superinterfaces:
- Properties, SolverTypes
- All Known Implementing Classes:
- AbstractSolver
- public interface Solver
- extends Properties, SolverTypes
- Author:
- raf
To change the template for this generated type comment go to
Window - Preferences - Java - Code Generation - Code and Comments
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 |
CHRONO_MIN
public static final int CHRONO_MIN
- See Also:
- Constant Field Values
CHRONO_MAX
public static final int CHRONO_MAX
- See Also:
- Constant Field Values
CURRENT_CHRONO
public static final int CURRENT_CHRONO
- See Also:
- Constant Field Values
DEPTH_MIN
public static final int DEPTH_MIN
- See Also:
- Constant Field Values
DEPTH_MAX
public static final int DEPTH_MAX
- See Also:
- Constant Field Values
CURRENT_DEPTH
public static final int CURRENT_DEPTH
- See Also:
- Constant Field Values
SOLVER_VALUES
public static final int SOLVER_VALUES
- See Also:
- Constant Field Values
getIntValue
public int getIntValue(int index)
setIntValue
public void setIntValue(int index,
int value)
add
public int add(int type,
java.lang.Object element)
get
public int get(int type,
java.lang.Object key)
get
public java.lang.Object get(int type,
int i)
get
public ObjectManager get(int i)
buildProxy
public SolverMainElement buildProxy(int type,
java.lang.Object identifier)
reset
public void reset()