edu.ucsb.ccs.jaqual

Interfaces  Assertion Operator

Classes  Elements Exists ForAll Logical