PandA-2024.02
|
#include <state_transition_graph.hpp>
Public Member Functions | |
last_intermediate_state (StateTransitionGraphConstRef input_state_graph, bool enable) | |
vertex | operator() (vertex top, vertex bottom) |
Private Attributes | |
const StateTransitionGraphConstRef | state_graph |
bool | pipeline |
Definition at line 498 of file state_transition_graph.hpp.
|
inline |
Definition at line 501 of file state_transition_graph.hpp.
Definition at line 506 of file state_transition_graph.hpp.
References NULL_VERTEX, pipeline, THROW_ASSERT, and top().
|
private |
Definition at line 531 of file state_transition_graph.hpp.
|
private |
Definition at line 530 of file state_transition_graph.hpp.