spot::named_graph< Graph, State_Name, Name_Hash, Name_Equal > Class Template Reference

Inheritance diagram for spot::named_graph< Graph, State_Name, Name_Hash, Name_Equal >:

Collaboration diagram for spot::named_graph< Graph, State_Name, Name_Hash, Name_Equal >:

Public Types
typedef Graph::state	state
typedef Graph::edge	edge
typedef State_Name	name
typedef std::unordered_map< name, state, Name_Hash, Name_Equal >	name_to_state_t
typedef std::vector< name >	state_to_name_t

Public Member Functions
	named_graph (Graph &g)
Graph &	graph ()
Graph &	graph () const
template<typename... Args>
state	new_state (name n, Args &&... args)
bool	alias_state (state s, name newname)
	Give an alternate name to a state.
state	get_state (name n) const
name	get_name (state s) const
bool	has_state (name n) const
const state_to_name_t &	names () const
template<typename... Args>
edge	new_edge (name src, name dst, Args &&... args)
template<typename I, typename... Args>
edge	new_univ_edge (name src, I dst_begin, I dst_end, Args &&... args)
template<typename... Args>
edge	new_univ_edge (name src, const std::initializer_list< State_Name > &dsts, Args &&... args)

Public Attributes
name_to_state_t	name_to_state
state_to_name_t	state_to_name

Protected Attributes
Graph &	g_

---

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

• spot/graph/ngraph.hh