fr.inria.oadymppac.solver
Interface Explanation
- All Superinterfaces:
- ConstraintCollection, Indexable, SolverElement, SolverManagable
- All Known Implementing Classes:
- DefaultExplanation
- public interface Explanation
- extends SolverElement, ConstraintCollection
An Explanation
consists of a cause list and a contraint list.
- Version:
- $Revision: 1.1 $
- Author:
- Jean-Daniel Fekete, Mohammad Ghoniem
EVENT_TYPE
public static final java.lang.String EVENT_TYPE
- See Also:
- Constant Field Values
getReduce
public Reduce getReduce()
setReduce
public void setReduce(Reduce reduce)
getValueList
public ValueList getValueList()
setValueList
public void setValueList(ValueList valueList)
getCauses
public java.util.Collection getCauses()
setCauses
public void setCauses(java.util.Collection cause)
addCause
public void addCause(Cause cause)
removeCause
public void removeCause(Cause cause)
countCause
public int countCause()
clearCause
public void clearCause()