org.jmlspecs.jmlrac.qexpr
Classes 
AbstractExpressionVisitor
QInterval
QInterval.Bound
QInterval.CheckRecursion
QSet
QSet.Composite
QSet.Intersection
QSet.Leaf
QSet.Top
QSet.Union
StaticAnalysis
StaticAnalysis.EnumerationBased
StaticAnalysis.IntervalBased
StaticAnalysis.SetBased
Translator
TransQuantifiedExpression
Exceptions 
NonExecutableQuantifierException