public class DFAState extends Object
| Constructor and Description |
|---|
DFAState() |
DFAState(Set<AllocNode> objs,
Set<Type> output) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
equals(Object other) |
Set<AllocNode> |
getObjects() |
Set<Type> |
getOutput() |
int |
hashCode()
Cache hash code.
|
String |
toString() |
Copyright © 2024 Soot OSS. All rights reserved.