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.