|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Interface Summary | |
---|---|
Predicate | This is the general interface for predicates with an arbitrary number of arguments. |
Class Summary | |
---|---|
AbstractPredicate | This class implements predicates on denotators. |
ExtensionPredicate | A predicate defined by its extension. |
FormPredicate | A predicate that matches denotators of a given form. |
Predicates | Several functions used for combining predicates. |
|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |