Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES    

Uses of Class
edu.ucsb.ccs.jaqual.Exists

Packages that use Exists
edu.ucsb.ccs.jaqual This is the main package of the JaQuaL library. 
 

Uses of Exists in edu.ucsb.ccs.jaqual
 

Methods in edu.ucsb.ccs.jaqual that return Exists
static Exists Exists.in(java.util.Collection c)
          Create a new Exists quantifier.
 

Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES