fr.inria.oadymppac.solver
Class DefaultReduce

java.lang.Object
  extended byfr.inria.oadymppac.solver.SolverElementImpl
      extended byfr.inria.oadymppac.solver.SolverMainElementImpl
          extended byfr.inria.oadymppac.solver.SolverEventElementImpl
              extended byfr.inria.oadymppac.solver.DefaultReduce
All Implemented Interfaces:
ChronoProvider, DepthProvider, Indexable, Reduce, SolverElement, SolverEventElement, SolverMainElement, SolverManagable, StateProvider

public class DefaultReduce
extends SolverEventElementImpl
implements Reduce

Author:
raf TODO 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.Reduce
EVENT_TYPE, NONE
 
Constructor Summary
DefaultReduce(Solver solver)
           
 
Method Summary
 void addExplanation(Explanation explanation)
           
 void clearExplanations()
           
 int countExplanations()
           
 java.lang.String getAlgorithm()
           
 Constraint getConstraint()
           
 Delta getDelta()
           
 Domain getDomain()
           
 java.lang.String getEventType()
           
 int getExplanationCount()
           
 java.util.Collection getExplanations()
           
 int getReductionSize()
           
 byte getSolverType()
           
 State getState()
           
 Update getUpdate()
           
 Variable getVariable()
           
 boolean isReductionSizeAvailable()
           
 void removeExplanation(Explanation explanation)
           
 void reset()
           
 void setAlgorithm(java.lang.String algorithm)
           
 void setConstraint(Constraint constraint)
           
 void setDelta(Delta delta)
           
 void setDomain(Domain domain)
           
 void setExplanations(java.util.Collection expls)
           
 void setReductionSize(int reductionSize)
           
 void setState(State state)
           
 void setUpdate(Update update)
           
 void setVariable(Variable variable)
           
 java.lang.String toString()
           
 
Methods inherited from class fr.inria.oadymppac.solver.SolverEventElementImpl
getKey, getLabel, setChrono, setLabel
 
Methods inherited from class fr.inria.oadymppac.solver.SolverMainElementImpl
getChrono, getContext, getDepth, getFile, getLine, getSolver, getTime, setContext, setDepth, setFile, setLine, setSolver, setTime
 
Methods inherited from class fr.inria.oadymppac.solver.SolverElementImpl
getIndex, setIndex
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface fr.inria.oadymppac.solver.SolverMainElement
getContext, getFile, getLine, getTime, setContext, setFile, setLine, setTime
 
Methods inherited from interface fr.inria.oadymppac.solver.SolverElement
getLabel
 
Methods inherited from interface fr.inria.oadymppac.utils.Indexable
getIndex, getKey, setIndex
 
Methods inherited from interface fr.inria.oadymppac.solver.SolverManagable
getSolver, setSolver
 
Methods inherited from interface fr.inria.oadymppac.solver.DepthProvider
getDepth, setDepth
 
Methods inherited from interface fr.inria.oadymppac.solver.ChronoProvider
getChrono, setChrono
 

Constructor Detail

DefaultReduce

public DefaultReduce(Solver solver)
Parameters:
solver -
Method Detail

toString

public java.lang.String toString()
Overrides:
toString in class SolverEventElementImpl

getConstraint

public Constraint getConstraint()
Specified by:
getConstraint in interface Reduce
Returns:
Returns the constraint.

setConstraint

public void setConstraint(Constraint constraint)
Specified by:
setConstraint in interface Reduce
Parameters:
constraint - The constraint to set.

setVariable

public void setVariable(Variable variable)
Specified by:
setVariable in interface Reduce
Parameters:
variable - The variable to set.

getVariable

public Variable getVariable()
Specified by:
getVariable in interface Reduce
Returns:
Returns the variable.

getEventType

public java.lang.String getEventType()
Specified by:
getEventType in interface SolverElement
Specified by:
getEventType in class SolverEventElementImpl

getSolverType

public byte getSolverType()
Specified by:
getSolverType in interface SolverElement

getState

public State getState()
Specified by:
getState in interface StateProvider
Returns:
Returns the state.

setState

public void setState(State state)
Specified by:
setState in interface StateProvider
Parameters:
state - The state to set.

getDelta

public Delta getDelta()
Specified by:
getDelta in interface Reduce
Returns:
Returns the delta.

setDelta

public void setDelta(Delta delta)
Specified by:
setDelta in interface Reduce
Parameters:
delta - The delta to set.

getDomain

public Domain getDomain()
Specified by:
getDomain in interface Reduce
Returns:
Returns the vardomain.

setDomain

public void setDomain(Domain domain)
Specified by:
setDomain in interface Reduce

getAlgorithm

public java.lang.String getAlgorithm()
Specified by:
getAlgorithm in interface Reduce
Returns:
Returns the algorithm.

setAlgorithm

public void setAlgorithm(java.lang.String algorithm)
Specified by:
setAlgorithm in interface Reduce
Parameters:
algorithm - The algorithm to set.

getUpdate

public Update getUpdate()
Specified by:
getUpdate in interface Reduce
Returns:
Returns the update.

setUpdate

public void setUpdate(Update update)
Specified by:
setUpdate in interface Reduce
Parameters:
update - The update to set.

addExplanation

public void addExplanation(Explanation explanation)
Specified by:
addExplanation in interface Reduce

getExplanationCount

public int getExplanationCount()
Specified by:
getExplanationCount in interface Reduce

getExplanations

public java.util.Collection getExplanations()
Specified by:
getExplanations in interface Reduce

removeExplanation

public void removeExplanation(Explanation explanation)
Specified by:
removeExplanation in interface Reduce

setExplanations

public void setExplanations(java.util.Collection expls)
Specified by:
setExplanations in interface Reduce

clearExplanations

public void clearExplanations()

countExplanations

public int countExplanations()

getReductionSize

public int getReductionSize()
Specified by:
getReductionSize in interface Reduce
Returns:
Returns the reductionSize.

setReductionSize

public void setReductionSize(int reductionSize)
Specified by:
setReductionSize in interface Reduce
Parameters:
reductionSize - The reductionSize to set.

isReductionSizeAvailable

public boolean isReductionSizeAvailable()
Specified by:
isReductionSizeAvailable in interface Reduce
Returns:
Returns the reductionSizeAvailabe.

reset

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