fr.inria.oadymppac.solver
Class ReduceManager

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.OrderedManager
                  extended byfr.inria.oadymppac.solver.ReduceManager
All Implemented Interfaces:
Indexable, ObjectManager, SolverManagable

public final class ReduceManager
extends OrderedManager
implements Indexable

A VariableManager is a utility class that manages the domain of all the variables declared and used during a session. It keeps track of the domains and notifies listeners when the domains change.

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

Field Summary
 
Fields inherited from interface fr.inria.oadymppac.utils.ObjectManager
INVALID
 
Constructor Summary
ReduceManager()
           
 
Method Summary
 int add(java.lang.Object element)
           
 Reduce get(int index)
          Returns the index's created variable.
 Reduce get(java.lang.String key)
          Returns the index's created variable.
 int getIndex()
           
 java.lang.Object getKey()
           
static ReduceManager getReduceManager(Solver solver)
           
 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, 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

ReduceManager

public ReduceManager()
Method Detail

get

public Reduce get(int index)
Returns the index's created variable.


get

public Reduce get(java.lang.String key)
Returns the index's created variable.


getReduceManager

public static ReduceManager getReduceManager(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

add

public int add(java.lang.Object element)
Specified by:
add in interface ObjectManager
Overrides:
add in class IndexedObjectManager

reset

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