fr.inria.oadymppac.solver
Class DefaultSolver

java.lang.Object
  extended byfr.inria.oadymppac.utils.ObjectManagerImpl
      extended byfr.inria.oadymppac.utils.IndexedObjectManager
          extended byfr.inria.oadymppac.solver.AbstractSolver
              extended byfr.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

Field Summary
 
Fields inherited from interface fr.inria.oadymppac.solver.Solver
CHRONO_MAX, CHRONO_MIN, CURRENT_CHRONO, CURRENT_DEPTH, DEPTH_MAX, DEPTH_MIN, SOLVER_VALUES
 
Fields inherited from interface fr.inria.oadymppac.utils.Properties
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
 
Fields inherited from interface fr.inria.oadymppac.utils.ObjectManager
INVALID
 
Constructor Summary
DefaultSolver(Properties properties)
           
 
Method Summary
 int add(Indexable element)
           
 int add(int type, java.lang.Object element)
           
 SolverMainElement buildProxy(int type, java.lang.Object identifier)
           
 ObjectManager get(int type)
           
 java.lang.Object get(int type, int i)
           
 int get(int type, java.lang.Object key)
           
 void reset()
           
 
Methods inherited from class fr.inria.oadymppac.solver.AbstractSolver
getIntValue, getProperties, getProperty, setIntValue, setProperties, setProperty
 
Methods inherited from class fr.inria.oadymppac.utils.IndexedObjectManager
add, getCount, getFromIndex, getFromKey, getIndex, getOwner, iterator, setOwner, toString
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

DefaultSolver

public DefaultSolver(Properties properties)
Parameters:
properties -
Method Detail

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()