| getState(GraphNode node) | BinNavi.API.reil.mono.IStateVector< GraphNode, LatticeElement > | [package] |
| hasState(GraphNode node) | BinNavi.API.reil.mono.IStateVector< GraphNode, LatticeElement > | |
| setState(GraphNode node, LatticeElement element) | BinNavi.API.reil.mono.IStateVector< GraphNode, LatticeElement > | |
| size() | BinNavi.API.reil.mono.IStateVector< GraphNode, LatticeElement > |
1.7.1