public final class FatScope<T> extends Object
Constructor and Description |
---|
FatScope() |
FatScope(HashMap<Identifier,T> types,
HashMap<Expr,T> facts) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(Object o) |
HashMap<Expr,T> |
facts() |
int |
hashCode() |
String |
toString() |
HashMap<Identifier,T> |
types() |
public HashMap<Identifier,T> types()
Copyright © 2023. All rights reserved.