Docjar: A Java Source and Docuemnt Enginecom.*    java.*    javax.*    org.*    all    new    plug-in

Quick Search    Search Deep

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.