|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
protected static interface AssignVar.ValueChooserWrapper
Method Summary | |
---|---|
boolean |
finishedBranching(IntBranchingDecision decision)
|
int |
getFirstBranch(IntBranchingDecision decision)
|
int |
getNextBranch(IntBranchingDecision decision)
|
Method Detail |
---|
boolean finishedBranching(IntBranchingDecision decision)
int getFirstBranch(IntBranchingDecision decision)
int getNextBranch(IntBranchingDecision decision)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |