fr.inria.oadymppac.solver
Class DefaultExplanation

java.lang.Object
  extended byfr.inria.oadymppac.solver.SolverElementImpl
      extended byfr.inria.oadymppac.solver.DefaultExplanation
All Implemented Interfaces:
ConstraintCollection, Explanation, Indexable, SolverElement, SolverManagable

public class DefaultExplanation
extends SolverElementImpl
implements Explanation

Author:
raf TODO To change the template for this generated type comment go to Window - Preferences - Java - Code Generation - Code and Comments

Field Summary
 
Fields inherited from interface fr.inria.oadymppac.solver.Explanation
EVENT_TYPE
 
Constructor Summary
DefaultExplanation(Solver solver)
           
 
Method Summary
 void addCause(Cause cause)
           
 void addConstraint(Constraint constraint)
           
 void clearCause()
           
 void clearConstraints()
           
 int countCause()
           
 int countConstraints()
           
 java.util.Collection getCauses()
           
 java.util.Collection getConstraints()
           
 java.lang.String getEventType()
           
 java.lang.Object getKey()
           
 java.lang.String getLabel()
           
 Reduce getReduce()
           
 byte getSolverType()
           
 ValueList getValueList()
           
 void removeCause(Cause cause)
           
 void removeConstraint(Constraint constraint)
           
 void reset()
           
 void setCauses(java.util.Collection causes)
           
 void setConstraints(java.util.Collection constraints)
           
 void setReduce(Reduce reduce)
           
 void setValueList(ValueList valueList)
           
 
Methods inherited from class fr.inria.oadymppac.solver.SolverElementImpl
getIndex, getSolver, setIndex, setSolver
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Methods inherited from interface fr.inria.oadymppac.utils.Indexable
getIndex, setIndex
 
Methods inherited from interface fr.inria.oadymppac.solver.SolverManagable
getSolver, setSolver
 

Constructor Detail

DefaultExplanation

public DefaultExplanation(Solver solver)
Parameters:
solver -
Method Detail

addCause

public void addCause(Cause cause)
Specified by:
addCause in interface Explanation

clearCause

public void clearCause()
Specified by:
clearCause in interface Explanation

countCause

public int countCause()
Specified by:
countCause in interface Explanation

getCauses

public java.util.Collection getCauses()
Specified by:
getCauses in interface Explanation

getReduce

public Reduce getReduce()
Specified by:
getReduce in interface Explanation

getValueList

public ValueList getValueList()
Specified by:
getValueList in interface Explanation

removeCause

public void removeCause(Cause cause)
Specified by:
removeCause in interface Explanation

setCauses

public void setCauses(java.util.Collection causes)
Specified by:
setCauses in interface Explanation

setReduce

public void setReduce(Reduce reduce)
Specified by:
setReduce in interface Explanation

setValueList

public void setValueList(ValueList valueList)
Specified by:
setValueList in interface Explanation

getLabel

public java.lang.String getLabel()
Specified by:
getLabel in interface SolverElement

getSolverType

public byte getSolverType()
Specified by:
getSolverType in interface SolverElement

addConstraint

public void addConstraint(Constraint constraint)
Specified by:
addConstraint in interface ConstraintCollection

clearConstraints

public void clearConstraints()
Specified by:
clearConstraints in interface ConstraintCollection

countConstraints

public int countConstraints()
Specified by:
countConstraints in interface ConstraintCollection

getConstraints

public java.util.Collection getConstraints()
Specified by:
getConstraints in interface ConstraintCollection

removeConstraint

public void removeConstraint(Constraint constraint)
Specified by:
removeConstraint in interface ConstraintCollection

setConstraints

public void setConstraints(java.util.Collection constraints)
Specified by:
setConstraints in interface ConstraintCollection

getKey

public java.lang.Object getKey()
Specified by:
getKey in interface Indexable

getEventType

public java.lang.String getEventType()
Specified by:
getEventType in interface SolverElement

reset

public void reset()
Specified by:
reset in interface Indexable