|
|||||||||||
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 | |
java.lang.String |
getExternal()
|
java.lang.String |
getIdentifier()
|
java.lang.String |
getInternal()
|
java.lang.String |
getName()
|
java.lang.String |
getOrigin()
|
void |
setExternal(java.lang.String external)
|
void |
setIdentifier(java.lang.String ident)
|
void |
setInternal(java.lang.String internal)
|
void |
setName(java.lang.String name)
|
void |
setOrigin(java.lang.String origin)
|
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 |
Methods inherited from interface fr.inria.oadymppac.solver.VariableCollection |
addVariable, clearVariables, countVariables, getVariables, removeVariable, setVariables |
Methods inherited from interface fr.inria.oadymppac.solver.UpdateCollection |
addUpdate, clearUpdates, countUpdates, getUpdates, removeUpdate, setUpdates |
Field Detail |
public static final java.lang.String EVENT_TYPE
public static final int NONE
Method Detail |
public java.lang.String getIdentifier()
public java.lang.String getInternal()
public java.lang.String getName()
public java.lang.String getExternal()
public java.lang.String getOrigin()
public void setIdentifier(java.lang.String ident)
public void setName(java.lang.String name)
public void setInternal(java.lang.String internal)
public void setExternal(java.lang.String external)
public void setOrigin(java.lang.String origin)
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |