Summary:
Detail:
FatScope()
FatScope(HashMap<Identifier,T> types, HashMap<Expr,T> facts)
boolean
equals(Object o)
HashMap<Expr,T>
facts()
int
hashCode()
String
toString()
HashMap<Identifier,T>
types()
getClass, notify, notifyAll, wait, wait, wait
equals
Object
hashCode
toString