|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
private static interface BooleanFormula.BoolNode
Method Summary | |
---|---|
boolean |
eval(DataSink sink,
int elem,
int[] se)
|
int[] |
getSafeElementRange(DataSink sink)
|
Method Detail |
---|
boolean eval(DataSink sink, int elem, int[] se)
int[] getSafeElementRange(DataSink sink)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |