|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
public interface RandomMapper
A class that provides a mapping back and forth from object instances to integers. This is useful when trying to randomize a type that is not natively supported by the random solver.
| Method Summary | |
|---|---|
com.newisys.randsolver.Constraint |
getConstraint()
|
int |
getID(Object o)
|
Object |
getObject(int id)
|
| Method Detail |
|---|
com.newisys.randsolver.Constraint getConstraint()
int getID(Object o)
Object getObject(int id)
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||