public class NFA extends Object
| Constructor and Description |
|---|
NFA(AllocNode q0,
FieldPointstoGraph fpg) |
| Modifier and Type | Method and Description |
|---|---|
AllocNode |
getDeadState() |
AllocNode |
getStartState() |
Set<AllocNode> |
getStates()
This method on-the-fly computes set of states.
|
boolean |
isDeadState(AllocNode obj) |
Set<AllocNode> |
nextStates(AllocNode obj,
SparkField f) |
Set<SparkField> |
outEdgesOf(AllocNode obj) |
Type |
outputOf(AllocNode obj) |
public NFA(AllocNode q0, FieldPointstoGraph fpg)
public Set<AllocNode> getStates()
public AllocNode getStartState()
public AllocNode getDeadState()
public Set<AllocNode> nextStates(AllocNode obj, SparkField f)
public boolean isDeadState(AllocNode obj)
public Set<SparkField> outEdgesOf(AllocNode obj)
Copyright © 2024 Soot OSS. All rights reserved.