fr.inria.oadymppac.solver
Interface Reduce
- All Superinterfaces:
- ChronoProvider, DepthProvider, Indexable, SolverElement, SolverEventElement, SolverMainElement, SolverManagable, StateProvider
- All Known Implementing Classes:
- DefaultReduce
- public interface Reduce
- extends SolverEventElement
- Author:
- raf
To change the template for this generated type comment go to
Window - Preferences - Java - Code Generation - Code and Comments
EVENT_TYPE
public static final java.lang.String EVENT_TYPE
- See Also:
- Constant Field Values
NONE
public static final int NONE
- See Also:
- Constant Field Values
getVariable
public Variable getVariable()
setVariable
public void setVariable(Variable var)
getConstraint
public Constraint getConstraint()
setConstraint
public void setConstraint(Constraint ctr)
getAlgorithm
public java.lang.String getAlgorithm()
setAlgorithm
public void setAlgorithm(java.lang.String algo)
getDelta
public Delta getDelta()
setDelta
public void setDelta(Delta delta)
getDomain
public Domain getDomain()
setDomain
public void setDomain(Domain delta)
getUpdate
public Update getUpdate()
setUpdate
public void setUpdate(Update update)
getExplanations
public java.util.Collection getExplanations()
setExplanations
public void setExplanations(java.util.Collection explanations)
addExplanation
public void addExplanation(Explanation explanation)
removeExplanation
public void removeExplanation(Explanation explanation)
getExplanationCount
public int getExplanationCount()
setReductionSize
public void setReductionSize(int size)
getReductionSize
public int getReductionSize()
isReductionSizeAvailable
public boolean isReductionSizeAvailable()