edu.mit.csail.sdg.squander.spec.constant.ConstRel2Bound Class Reference
[Specification]

Collaboration diagram for edu.mit.csail.sdg.squander.spec.constant.ConstRel2Bound:

[legend]

List of all members.

Public Member Functions
	ConstRel2Bound (ForgeConverter fconv)
ObjTupleSet	visitDec ()
ObjTupleSet	visitInc ()
ObjTupleSet	visitIdent ()
ObjTupleSet	visitNone ()
ObjTupleSet	visitUniv ()
Protected Member Functions
Set< Integer >	allInts ()
Private Attributes
final ForgeConverter	fconv
final ArrayList< Integer >	ints

---

Detailed Description

Definition at line 18 of file ConstRel2Bound.java.

---

Constructor & Destructor Documentation

edu.mit.csail.sdg.squander.spec.constant.ConstRel2Bound.ConstRel2Bound

(

ForgeConverter

fconv

)

Definition at line 23 of file ConstRel2Bound.java.

References edu.mit.csail.sdg.squander.spec.constant.ConstRel2Bound.allInts(), and edu.mit.csail.sdg.squander.spec.constant.ConstRel2Bound.ints.

---

Member Function Documentation

Set<Integer> edu.mit.csail.sdg.squander.spec.constant.ConstRel2Bound.allInts

(

)

[protected]

Definition at line 61 of file ConstRel2Bound.java.

References edu.mit.csail.sdg.squander.spec.constant.ConstRel2Bound.fconv, edu.mit.csail.sdg.squander.engine.ForgeConverter.forgeScene, edu.mit.csail.sdg.squander.spec.constant.ConstRel2Bound.ints, edu.mit.csail.sdg.squander.engine.ForgeConverter.maxInt(), and edu.mit.csail.sdg.squander.engine.ForgeConverter.minInt().

Referenced by edu.mit.csail.sdg.squander.spec.constant.ConstRel2Bound.ConstRel2Bound().

ObjTupleSet edu.mit.csail.sdg.squander.spec.constant.ConstRel2Bound.visitDec

(

)

Definition at line 30 of file ConstRel2Bound.java.

References edu.mit.csail.sdg.squander.absstate.ObjTupleSet.add(), and edu.mit.csail.sdg.squander.spec.constant.ConstRel2Bound.ints.

ObjTupleSet edu.mit.csail.sdg.squander.spec.constant.ConstRel2Bound.visitIdent

(

)

Definition at line 46 of file ConstRel2Bound.java.

ObjTupleSet edu.mit.csail.sdg.squander.spec.constant.ConstRel2Bound.visitInc

(

)

Definition at line 38 of file ConstRel2Bound.java.

References edu.mit.csail.sdg.squander.absstate.ObjTupleSet.add(), and edu.mit.csail.sdg.squander.spec.constant.ConstRel2Bound.ints.

ObjTupleSet edu.mit.csail.sdg.squander.spec.constant.ConstRel2Bound.visitNone

(

)

Definition at line 51 of file ConstRel2Bound.java.

ObjTupleSet edu.mit.csail.sdg.squander.spec.constant.ConstRel2Bound.visitUniv

(

)

Definition at line 57 of file ConstRel2Bound.java.

---

Member Data Documentation

final ForgeConverter edu.mit.csail.sdg.squander.spec.constant.ConstRel2Bound.fconv [private]

Definition at line 20 of file ConstRel2Bound.java.

Referenced by edu.mit.csail.sdg.squander.spec.constant.ConstRel2Bound.allInts().

final ArrayList<Integer> edu.mit.csail.sdg.squander.spec.constant.ConstRel2Bound.ints [private]

Definition at line 21 of file ConstRel2Bound.java.

Referenced by edu.mit.csail.sdg.squander.spec.constant.ConstRel2Bound.allInts(), edu.mit.csail.sdg.squander.spec.constant.ConstRel2Bound.ConstRel2Bound(), edu.mit.csail.sdg.squander.spec.constant.ConstRel2Bound.visitDec(), and edu.mit.csail.sdg.squander.spec.constant.ConstRel2Bound.visitInc().

---

The documentation for this class was generated from the following file:

• src/edu/mit/csail/sdg/squander/spec/constant/ConstRel2Bound.java