Data attached to edges of a twa_graph. More...

#include <spot/twa/twagraph.hh>

Collaboration diagram for spot::twa_graph_edge_data:

Public Member Functions
	twa_graph_edge_data (bdd cond, acc_cond::mark_t acc={}) noexcept
	Construct an edge labeled with cond and acceptance mark acc.

bool	operator< (const twa_graph_edge_data &other) const
	Lexicographic less-than comparison on (cond id, acc).

bool	operator== (const twa_graph_edge_data &other) const
	Equality: same condition and same acceptance mark.

Public Attributes
bdd	cond
	The Boolean formula labeling this edge.

acc_cond::mark_t	acc
	The acceptance mark of this edge.

Detailed Description

Data attached to edges of a twa_graph.

Each edge of the graph has two additional data that are cond (a BDD representing the Boolean formula labeling the edge), and acc a set of acceptance marks representing the membership of the each to each acceptance set.

Constructor & Destructor Documentation

◆ twa_graph_edge_data()

spot::twa_graph_edge_data::twa_graph_edge_data	(	bdd	cond,
		acc_cond::mark_t	acc = `{}`
	)

inlinenoexcept

Construct an edge labeled with cond and acceptance mark acc.

Member Function Documentation

◆ operator<()

bool spot::twa_graph_edge_data::operator< ( const twa_graph_edge_data & other ) const

inline

Lexicographic less-than comparison on (cond id, acc).

References acc, and cond.

◆ operator==()

bool spot::twa_graph_edge_data::operator== ( const twa_graph_edge_data & other ) const

inline

Equality: same condition and same acceptance mark.

References acc, and cond.

Member Data Documentation

◆ acc

acc_cond::mark_t spot::twa_graph_edge_data::acc

The acceptance mark of this edge.

Referenced by operator<(), and operator==().

◆ cond

bdd spot::twa_graph_edge_data::cond

The Boolean formula labeling this edge.