|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Restore | |
fr.inria.oadymppac.solver | |
fr.inria.oadymppac.solver.parsing.adapter |
Uses of Restore in fr.inria.oadymppac.solver |
Methods in fr.inria.oadymppac.solver that return Restore | |
Restore |
RestoreManager.get(int index)
Returns the index 's created variable. |
Restore |
RestoreManager.get(java.lang.Object key)
Returns the index 's created variable. |
Uses of Restore in fr.inria.oadymppac.solver.parsing.adapter |
Methods in fr.inria.oadymppac.solver.parsing.adapter with parameters of type Restore | |
void |
RestoreAdapter.adapt(DeltaListInfo info,
Restore element)
|
void |
RestoreAdapter.adapt(RestoreInfo info,
Restore element)
|
void |
AbstractAdapter.adapt(DeltaListInfo info,
Restore element)
|
void |
AbstractAdapter.adapt(RestoreInfo info,
Restore element)
|
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |