fr.inria.oadymppac.solver
Class DefaultSolver
java.lang.Object
fr.inria.oadymppac.utils.ObjectManagerImpl
fr.inria.oadymppac.utils.IndexedObjectManager
fr.inria.oadymppac.solver.AbstractSolver
fr.inria.oadymppac.solver.DefaultSolver
- All Implemented Interfaces:
- ObjectManager, Properties, Solver, SolverTypes
- public class DefaultSolver
- extends AbstractSolver
- 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 |
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
DefaultSolver
public DefaultSolver(Properties properties)
- Parameters:
properties
-
add
public int add(int type,
java.lang.Object element)
get
public java.lang.Object get(int type,
int i)
get
public int get(int type,
java.lang.Object key)
get
public ObjectManager get(int type)
- Returns:
- Returns the constraints.
add
public int add(Indexable element)
- Overrides:
add
in class IndexedObjectManager
buildProxy
public SolverMainElement buildProxy(int type,
java.lang.Object identifier)
reset
public void reset()