Package edu.mit.csail.sdg.squander.spec.constant
[Specification]

Classes
class	ConstRel2Bound
class	ConstRels
interface	ConstRelVisitor< E >
Enumerations
enum	ConstRel {   IDEN = (JType.Factory.instance.newJType(Object.class, Object.class)), UNIV = (JType.Factory.instance.newJType(Object.class)), NONE = (JType.Factory.instance.newJType(Object.class)), INC = (JType.Factory.instance.newJType(int.class, int.class)),   DEC = (JType.Factory.instance.newJType(int.class, int.class)) }