|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectfr.inria.oadymppac.solver.parsing.adapter.AbstractAdapter
fr.inria.oadymppac.solver.parsing.adapter.DefaultAdapter
fr.inria.oadymppac.solver.parsing.adapter.DefaultCauseAdapter
Field Summary |
Fields inherited from interface fr.inria.oadymppac.solver.parsing.adapter.SolverAdapter |
NONE |
Constructor Summary | |
DefaultCauseAdapter(Solver solver)
|
Method Summary | |
void |
adapt(CauseInfo info,
Cause element)
|
void |
adapt(CauseListInfo info,
Explanation element)
|
void |
adapt(ValueListInfo info,
Cause element)
|
Methods inherited from class fr.inria.oadymppac.solver.parsing.adapter.AbstractAdapter |
adapt, adapt, adapt, adapt, adapt, adapt, adapt, adapt, adapt, adapt, adapt, adapt, adapt, adapt, adapt, adapt, adapt, adapt, adapt, adapt, adapt, adapt, adapt, adapt, adapt, adapt, adapt, adapt, adapt, adapt, adapt, adapt, adapt, adapt, adapt, adapt, adapt, adapt, adapt, adapt, adapt, getSolver, setSolver |
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Methods inherited from interface fr.inria.oadymppac.solver.SolverManagable |
getSolver, setSolver |
Constructor Detail |
public DefaultCauseAdapter(Solver solver)
solver
- Method Detail |
public void adapt(CauseListInfo info, Explanation element) throws SolverException
adapt
in class AbstractAdapter
SolverException
public void adapt(CauseInfo info, Cause element) throws SolverException
adapt
in interface CauseAdapter
adapt
in class AbstractAdapter
SolverException
public void adapt(ValueListInfo info, Cause element) throws SolverException
SolverException
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |