|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Delta | |
fr.inria.oadymppac.solver | |
fr.inria.oadymppac.solver.parsing.adapter |
Uses of Delta in fr.inria.oadymppac.solver |
Classes in fr.inria.oadymppac.solver that implement Delta | |
class |
DefaultDelta
|
Methods in fr.inria.oadymppac.solver that return Delta | |
Delta |
VariableProxy.getDeltaAtChrono(int ch)
|
Delta |
VariableProxy.getDeltaAtDepth(int dep)
|
Delta |
VariableProxy.getCurrentDelta()
|
Delta |
VariableProxy.getPreviousDelta()
|
Delta |
Variable.getPreviousDelta()
|
Delta |
Variable.getCurrentDelta()
|
Delta |
Variable.getDeltaAtDepth(int depth)
|
Delta |
Variable.getDeltaAtChrono(int chrono)
|
Delta |
Restore.getDelta()
|
Delta |
Reduce.getDelta()
|
Delta |
DeltaManager.get(int index)
Returns the index 's created variable. |
Delta |
DeltaManager.get(java.lang.Object key)
Returns the index 's created variable. |
Delta |
DefaultVariable.getDeltaAtChrono(int ch)
|
Delta |
DefaultVariable.getDeltaAtDepth(int d)
|
Delta |
DefaultVariable.getCurrentDelta()
|
Delta |
DefaultVariable.getPreviousDelta()
|
Delta |
DefaultReduce.getDelta()
|
Methods in fr.inria.oadymppac.solver with parameters of type Delta | |
void |
VariableProxy.addDelta(Delta delta)
|
void |
Variable.addDelta(Delta delta)
|
void |
Restore.setDelta(Delta ctr)
|
void |
Reduce.setDelta(Delta delta)
|
void |
DefaultVariable.addDelta(Delta delta)
|
void |
DefaultReduce.setDelta(Delta delta)
|
Uses of Delta in fr.inria.oadymppac.solver.parsing.adapter |
Methods in fr.inria.oadymppac.solver.parsing.adapter with parameters of type Delta | |
void |
DeltaAdapter.adapt(DeltaInfo info,
Delta element)
|
void |
DeltaAdapter.adapt(ValueListInfo info,
Delta element)
|
void |
DefaultDeltaAdapter.adapt(DeltaInfo info,
Delta element)
|
void |
DefaultDeltaAdapter.adapt(ValueListInfo info,
Delta element)
|
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |