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

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

Uses of Explanation in fr.inria.oadymppac.solver
 

Classes in fr.inria.oadymppac.solver that implement Explanation
 class DefaultExplanation
           
 

Methods in fr.inria.oadymppac.solver that return Explanation
 Explanation DefaultCause.getExplanation()
           
 Explanation Cause.getExplanation()
           
 

Methods in fr.inria.oadymppac.solver with parameters of type Explanation
 void Reduce.addExplanation(Explanation explanation)
           
 void Reduce.removeExplanation(Explanation explanation)
           
 void DefaultReduce.addExplanation(Explanation explanation)
           
 void DefaultReduce.removeExplanation(Explanation explanation)
           
 void DefaultCause.setExplanation(Explanation expl)
           
 void Cause.setExplanation(Explanation expl)
           
 

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

Methods in fr.inria.oadymppac.solver.parsing.adapter with parameters of type Explanation
 void ExplanationAdapter.adapt(CauseListInfo info, Explanation element)
           
 void ExplanationAdapter.adapt(ConstraintsInfo info, Explanation element)
           
 void ExplanationAdapter.adapt(ExplanationInfo info, Explanation element)
           
 void DefaultExplanationAdapter.adapt(ExplanationInfo info, Explanation element)
           
 void DefaultExplanationAdapter.adapt(ValueListInfo info, Explanation element)
           
 void DefaultCauseAdapter.adapt(CauseListInfo info, Explanation element)
           
 void AbstractAdapter.adapt(CauseListInfo info, Explanation element)
           
 void AbstractAdapter.adapt(ConstraintsInfo info, Explanation element)
           
 void AbstractAdapter.adapt(ExplanationInfo info, Explanation element)