|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
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)
|
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |