|
TPTP 4.3.0 Monitoring Tools Project Internal API Specification |
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
| Method Summary | |
|---|---|
java.lang.String[] |
getOperators()
|
boolean |
processRule(IFilterAtom rule)
|
| Method Detail |
public java.lang.String[] getOperators()
public boolean processRule(IFilterAtom rule)
|
TPTP 4.3.0 Monitoring Tools Project Internal API Specification |
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||