Uses of Package
edu.ucsb.ccs.jaqual

Packages that use edu.ucsb.ccs.jaqual

edu.ucsb.ccs.jaqual	This is the main package of the JaQuaL library.
edu.ucsb.ccs.jaqual.standard	This package defines several standard assertions to be used with the JaQuaL library.

Classes in edu.ucsb.ccs.jaqual used by edu.ucsb.ccs.jaqual

Assertion
Abstract description of an assertion that can be evaluated on an element of a collection.

Elements
Quantifier to find a subset of a collection that matches certain criteria.

Exists
Exists quantifier.

ForAll
A forall quantifier.

Operator
Interface for an object that transforms other objects.

Classes in edu.ucsb.ccs.jaqual used by edu.ucsb.ccs.jaqual.standard

Assertion
Abstract description of an assertion that can be evaluated on an element of a collection.