|
|||||||||
| Home >> All >> edu >> ucsb >> ccs >> [ jaqual overview ] | PREV PACKAGE NEXT PACKAGE | ||||||||
Package edu.ucsb.ccs.jaqual
| Interface Summary | |
| Assertion | Abstract description of an assertion that can be evaluated on an element of a collection. |
| Operator | Interface for an object that transforms other objects. |
| Class Summary | |
| Elements | Quantifier to find a subset of a collection that matches certain criteria. |
| Exists | Exists quantifier. |
| ForAll | A forall quantifier. |
| Logical | This class defines some useful logic operators. |
|
|||||||||
| Home >> All >> edu >> ucsb >> ccs >> [ jaqual overview ] | PREV PACKAGE NEXT PACKAGE | ||||||||