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

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

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

Uses of ForAll in edu.ucsb.ccs.jaqual
 

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

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