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

Field Summary
static java.lang.String EVENT_TYPE
           
static int NONE
           
 
Method Summary
 void addExplanation(Explanation explanation)
           
 java.lang.String getAlgorithm()
           
 Constraint getConstraint()
           
 Delta getDelta()
           
 Domain getDomain()
           
 int getExplanationCount()
           
 java.util.Collection getExplanations()
           
 int getReductionSize()
           
 Update getUpdate()
           
 Variable getVariable()
           
 boolean isReductionSizeAvailable()
           
 void removeExplanation(Explanation explanation)
           
 void setAlgorithm(java.lang.String algo)
           
 void setConstraint(Constraint ctr)
           
 void setDelta(Delta delta)
           
 void setDomain(Domain delta)
           
 void setExplanations(java.util.Collection explanations)
           
 void setReductionSize(int size)
           
 void setUpdate(Update update)
           
 void setVariable(Variable var)
           
 
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
getEventType, getLabel, getSolverType
 
Methods inherited from interface fr.inria.oadymppac.utils.Indexable
getIndex, getKey, reset, 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
 
Methods inherited from interface fr.inria.oadymppac.solver.StateProvider
getState, setState
 

Field Detail

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
Method Detail

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()