Abstract State

Classes
class	edu.mit.csail.sdg.squander.absstate.AbstractState
class	edu.mit.csail.sdg.squander.absstate.FieldValue
class	edu.mit.csail.sdg.squander.absstate.ObjAbsState
class	edu.mit.csail.sdg.squander.absstate.ObjTuple
class	edu.mit.csail.sdg.squander.absstate.ObjTupleSet
Packages
package	edu.mit.csail.sdg.squander.absstate

---

Detailed Description

This module is responsible for maintaining the abstract state of objects.