|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
Field Summary | |
static java.lang.String |
EVENT_TYPE
|
static int |
NONE
|
Method Summary | |
Delta |
getDelta()
|
void |
setDelta(Delta ctr)
|
Methods inherited from interface fr.inria.oadymppac.solver.SolverMainElement |
getContext, getFile, getLine, getTime, setContext, setFile, setLine, setTime |
Methods inherited from interface fr.inria.oadymppac.solver.SolverElement |
getEventType, getLabel, getSolverType |
Methods inherited from interface fr.inria.oadymppac.utils.Indexable |
getIndex, getKey, reset, setIndex |
Methods inherited from interface fr.inria.oadymppac.solver.SolverManagable |
getSolver, setSolver |
Methods inherited from interface fr.inria.oadymppac.solver.DepthProvider |
getDepth, setDepth |
Methods inherited from interface fr.inria.oadymppac.solver.ChronoProvider |
getChrono, setChrono |
Methods inherited from interface fr.inria.oadymppac.solver.StateProvider |
getState, setState |
Field Detail |
public static final java.lang.String EVENT_TYPE
public static final int NONE
Method Detail |
public Delta getDelta()
public void setDelta(Delta ctr)
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |