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