|
|||||||||
| Home >> All >> edu >> ucsb >> ccs >> jaqual >> [ standard overview ] | PREV PACKAGE NEXT PACKAGE | ||||||||
Package edu.ucsb.ccs.jaqual.standard
This is the main package of the JaQuaL library.
See:
Description
| Class Summary | |
| Equal | An assertion to test for equality. |
| InRange | An assertion to determine if a number falls in a given range. |
| InstanceOf | Assertion to check if an object is an instance of a certain class type. |
| Not | Assertion that negates another assertion. |
Package edu.ucsb.ccs.jaqual.standard Description
This is the main package of the JaQuaL library. JaQuaL provides predicate logic quantifiers for Java. In this package you will find the ForAll, Exists, and Elements quantifiers. There is also the Assertion and Operator interfaces, which are used to define actions performed by the quantifiers.
|
|||||||||
| Home >> All >> edu >> ucsb >> ccs >> jaqual >> [ standard overview ] | PREV PACKAGE NEXT PACKAGE | ||||||||