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

Field Summary
static java.lang.String EVENT_TYPE
           
 
Method Summary
 void addCause(Cause cause)
           
 void clearCause()
           
 int countCause()
           
 java.util.Collection getCauses()
           
 Reduce getReduce()
           
 ValueList getValueList()
           
 void removeCause(Cause cause)
           
 void setCauses(java.util.Collection cause)
           
 void setReduce(Reduce reduce)
           
 void setValueList(ValueList valueList)
           
 
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.ConstraintCollection
addConstraint, clearConstraints, countConstraints, getConstraints, removeConstraint, setConstraints
 

Field Detail

EVENT_TYPE

public static final java.lang.String EVENT_TYPE
See Also:
Constant Field Values
Method Detail

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