Package edu.ucsb.ccs.jaqual

This is the main package of the JaQuaL library.

See:
Description

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.

Package edu.ucsb.ccs.jaqual 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.