|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public static interface CPTImport.ParameterRecorder
Method Summary | |
---|---|
void |
init()
|
void |
record(FiniteVariable variable,
int indexInstance)
|
void |
setParameter(String tokenValue)
|
Method Detail |
---|
void init()
void record(FiniteVariable variable, int indexInstance)
void setParameter(String tokenValue) throws Exception
Exception
|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |