|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface ICounterExampleSchedulingInfo
Method Summary | |
---|---|
int[] |
getChosenIndices()
|
int[] |
getNumOfChoices()
|
String |
getStateId()
|
int |
getThreadIndex()
|
void |
parseString(String s)
|
String |
toString()
|
Method Detail |
---|
String getStateId()
int getThreadIndex()
int[] getNumOfChoices()
int[] getChosenIndices()
void parseString(String s) throws IllegalArgumentException
IllegalArgumentException
String toString()
toString
in class Object
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |