Uses of Interface
fr.inria.oadymppac.solver.Cause

Packages that use Cause
fr.inria.oadymppac.solver   
fr.inria.oadymppac.solver.parsing.adapter   
 

Uses of Cause in fr.inria.oadymppac.solver
 

Classes in fr.inria.oadymppac.solver that implement Cause
 class DefaultCause
           
 

Methods in fr.inria.oadymppac.solver with parameters of type Cause
 void Explanation.addCause(Cause cause)
           
 void Explanation.removeCause(Cause cause)
           
 void DefaultExplanation.addCause(Cause cause)
           
 void DefaultExplanation.removeCause(Cause cause)
           
 

Uses of Cause in fr.inria.oadymppac.solver.parsing.adapter
 

Methods in fr.inria.oadymppac.solver.parsing.adapter with parameters of type Cause
 void DefaultCauseAdapter.adapt(CauseInfo info, Cause element)
           
 void DefaultCauseAdapter.adapt(ValueListInfo info, Cause element)
           
 void CauseAdapter.adapt(CauseInfo info, Cause element)
           
 void AbstractAdapter.adapt(CauseInfo info, Cause element)