next_unique_state Class Reference

#include <state_transition_graph.hpp>

Collaboration diagram for next_unique_state:

Public Member Functions
	next_unique_state (StateTransitionGraphConstRef input_state_graph)
vertex	operator() (vertex state)

Private Attributes
const StateTransitionGraphConstRef	state_graph

Detailed Description

Definition at line 534 of file state_transition_graph.hpp.

Constructor & Destructor Documentation

next_unique_state()

next_unique_state::next_unique_state ( StateTransitionGraphConstRef  input_state_graph )

inlineexplicit

Definition at line 537 of file state_transition_graph.hpp.

Member Function Documentation

operator()()

vertex next_unique_state::operator() ( vertex  state )

inline

Definition at line 541 of file state_transition_graph.hpp.

References NULL_VERTEX, lenet_tvm::target, and THROW_ASSERT.

Field Documentation

state_graph

const StateTransitionGraphConstRef next_unique_state::state_graph

private

Definition at line 562 of file state_transition_graph.hpp.

---

The documentation for this class was generated from the following file:

• /workspace/src/HLS/stg/state_transition_graph.hpp