|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface IHook
a hook is an integer field to attach temporary information about a given variable or constraint.
Field Summary | |
---|---|
static int |
NO_HOOK
|
Method Summary | |
---|---|
int |
getHook()
get the current hook value |
void |
resetHook()
reset the hook, it allows to set a new value. |
void |
setHook(int hook)
you should be sure to reset the hook before setting a new hook value |
Field Detail |
---|
static final int NO_HOOK
Method Detail |
---|
int getHook()
void setHook(int hook)
hook
- the new hook valuevoid resetHook()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |