Uses of Interface
fr.inria.oadymppac.solver.Delta

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)