|
Jlm
|

Public Member Functions | |
| PointsToGraph::NodeIndex | MemoryNode () const noexcept |
| rvsdg::Output & | State () const noexcept |
| void | ReplaceState (rvsdg::Output &state) noexcept |
Static Public Member Functions | |
| static void | ReplaceStates (const std::vector< MemoryNodeStatePair * > &memoryNodeStatePairs, const std::vector< rvsdg::Output * > &states) |
| static void | ReplaceStates (const std::vector< MemoryNodeStatePair * > &memoryNodeStatePairs, const rvsdg::Node::OutputIteratorRange &states) |
| static std::vector< rvsdg::Output * > | States (const std::vector< MemoryNodeStatePair * > &memoryNodeStatePairs) |
Private Member Functions | |
| MemoryNodeStatePair (PointsToGraph::NodeIndex memoryNode, rvsdg::Output &state) | |
Private Attributes | |
| friend | StateMap |
| PointsToGraph::NodeIndex | MemoryNode_ |
| rvsdg::Output * | State_ |
Represents the pairing of a points-to graph's memory node and a memory state.
Definition at line 247 of file MemoryStateEncoder.cpp.
|
inlineprivate |
Definition at line 251 of file MemoryStateEncoder.cpp.
|
inlinenoexcept |
Definition at line 260 of file MemoryStateEncoder.cpp.
|
inlinenoexcept |
Definition at line 272 of file MemoryStateEncoder.cpp.
|
inlinestatic |
Definition at line 291 of file MemoryStateEncoder.cpp.
|
inlinestatic |
Definition at line 281 of file MemoryStateEncoder.cpp.
|
inlinenoexcept |
Definition at line 266 of file MemoryStateEncoder.cpp.
|
inlinestatic |
Definition at line 305 of file MemoryStateEncoder.cpp.
|
private |
Definition at line 315 of file MemoryStateEncoder.cpp.
|
private |
Definition at line 316 of file MemoryStateEncoder.cpp.
|
private |
Definition at line 249 of file MemoryStateEncoder.cpp.