fr.inria.oadymppac.solver
Class DefaultReduce
java.lang.Object
fr.inria.oadymppac.solver.SolverElementImpl
fr.inria.oadymppac.solver.SolverMainElementImpl
fr.inria.oadymppac.solver.SolverEventElementImpl
fr.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
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 java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
DefaultReduce
public DefaultReduce(Solver solver)
- Parameters:
solver
-
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