fr.inria.oadymppac.solver
Class AbstractSolver

java.lang.Object
  extended byfr.inria.oadymppac.utils.ObjectManagerImpl
      extended byfr.inria.oadymppac.utils.IndexedObjectManager
          extended byfr.inria.oadymppac.solver.AbstractSolver
All Implemented Interfaces:
ObjectManager, Properties, Solver, SolverTypes
Direct Known Subclasses:
DefaultSolver

public abstract class AbstractSolver
extends IndexedObjectManager
implements Solver

This class provides the basic behavior for a Solver. It implements all the listener management and firing logics.

Version:
$Revision: 1.1 $
Author:
Jean-Daniel Fekete, Mohammad Ghoniem

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
AbstractSolver(Properties properties)
          Defines an AbstractSolver object.
 
Method Summary
 int getIntValue(int index)
           
 Properties getProperties()
           
 java.lang.Object getProperty(java.lang.String property)
           
 void setIntValue(int index, int value)
           
 void setProperties(Properties properties)
           
 void setProperty(java.lang.String property, java.lang.Object value)
           
 
Methods inherited from class fr.inria.oadymppac.utils.IndexedObjectManager
add, add, getCount, getFromIndex, getFromKey, getIndex, getOwner, iterator, setOwner, toString
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface fr.inria.oadymppac.solver.Solver
add, buildProxy, get, get, get, reset
 

Constructor Detail

AbstractSolver

public AbstractSolver(Properties properties)
Defines an AbstractSolver object.

Method Detail

getProperty

public java.lang.Object getProperty(java.lang.String property)
Specified by:
getProperty in interface Properties
Parameters:
property -
Returns:

setProperty

public void setProperty(java.lang.String property,
                        java.lang.Object value)
Specified by:
setProperty in interface Properties
Parameters:
property -
value -

getProperties

public Properties getProperties()
Specified by:
getProperties in interface Properties
Returns:

setProperties

public void setProperties(Properties properties)
Specified by:
setProperties in interface Properties
Parameters:
properties -

getIntValue

public int getIntValue(int index)
Specified by:
getIntValue in interface Solver

setIntValue

public void setIntValue(int index,
                        int value)
Specified by:
setIntValue in interface Solver