|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use DeltaAdapter | |
fr.inria.oadymppac.solver.parsing.adapter |
Uses of DeltaAdapter in fr.inria.oadymppac.solver.parsing.adapter |
Classes in fr.inria.oadymppac.solver.parsing.adapter that implement DeltaAdapter | |
class |
DefaultDeltaAdapter
|
Methods in fr.inria.oadymppac.solver.parsing.adapter that return DeltaAdapter | |
DeltaAdapter |
RestoreAdapter.getDeltaAdapter()
|
DeltaAdapter |
ReduceAdapter.getDeltaAdapter()
|
DeltaAdapter |
DefaultReduceAdapter.getDeltaAdapter()
|
DeltaAdapter |
BackToAdapter.getDeltaAdapter()
|
Methods in fr.inria.oadymppac.solver.parsing.adapter with parameters of type DeltaAdapter | |
void |
RestoreAdapter.setDeltaAdapter(DeltaAdapter adapter)
|
void |
ReduceAdapter.setDeltaAdapter(DeltaAdapter adapter)
|
void |
DefaultReduceAdapter.setDeltaAdapter(DeltaAdapter deltaAdapter)
|
void |
BackToAdapter.setDeltaAdapter(DeltaAdapter adapter)
|
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |