fr.inria.oadymppac.solver
Class ConstraintManager

java.lang.Object
  extended byfr.inria.oadymppac.utils.ObjectManagerImpl
      extended byfr.inria.oadymppac.utils.IndexedObjectManager
          extended byfr.inria.oadymppac.solver.SolverObjectManager
              extended byfr.inria.oadymppac.solver.ConstraintManager
All Implemented Interfaces:
Indexable, ObjectManager, SolverManagable

public final class ConstraintManager
extends SolverObjectManager
implements Indexable

A ConstraintManager is a utility class that manages the constraints and their related constraints declared and used during a session. It keeps track of their withdrawals and notifies listeners when they appear or disappear.

Version:
$Revision: 1.1 $
Author:
Jean-Daniel Fekete

Field Summary
 
Fields inherited from interface fr.inria.oadymppac.utils.ObjectManager
INVALID
 
Constructor Summary
ConstraintManager()
           
 
Method Summary
 Constraint get(int index)
          Returns the index's created constraint.
 Constraint get(java.lang.String key)
          Returns the index's created constraint.
static ConstraintManager getConstraintManager(Solver solver)
           
 int getIndex()
           
 java.lang.Object getKey()
           
 void reset()
           
 void setIndex(int index)
           
 
Methods inherited from class fr.inria.oadymppac.solver.SolverObjectManager
getSolver, key, key, setSolver
 
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
 

Constructor Detail

ConstraintManager

public ConstraintManager()
Method Detail

get

public Constraint get(int index)
Returns the index's created constraint.


get

public Constraint get(java.lang.String key)
Returns the index's created constraint.


getConstraintManager

public static ConstraintManager getConstraintManager(Solver solver)

getIndex

public int getIndex()
Specified by:
getIndex in interface Indexable

getKey

public java.lang.Object getKey()
Specified by:
getKey in interface Indexable

setIndex

public void setIndex(int index)
Specified by:
setIndex in interface Indexable

reset

public void reset()
Specified by:
reset in interface Indexable