spot::rs_pairs_view Struct Reference

A view over Rabin-Streett pairs restricted to a subset of acceptance marks. More...

#include <spot/twa/acc.hh>

Collaboration diagram for spot::rs_pairs_view:

Public Types
typedef std::vector< acc_cond::rs_pair >	rs_pairs
	Type alias for a vector of Rabin-Streett pairs.

Public Member Functions
	rs_pairs_view (const rs_pairs &p, const acc_cond::mark_t &m)
	Create a view of pairs p restricted to marks visible in m.
	rs_pairs_view (const rs_pairs &p)
	Create an unrestricted view of all pairs in p.
acc_cond::mark_t	infs () const
	Returns the union of all visible Inf marks across all pairs.
acc_cond::mark_t	fins () const
	Returns the union of all visible Fin marks across all pairs.
acc_cond::mark_t	fins_alone () const
	Returns Fin marks from pairs whose Inf part is not visible.
acc_cond::mark_t	infs_alone () const
	Returns Inf marks from pairs whose Fin part is not visible.
acc_cond::mark_t	paired_with_fin (unsigned mark) const
	Returns all Inf marks paired with a Fin containing mark.
const rs_pairs &	pairs () const
	Returns a reference to the underlying vector of pairs.

Detailed Description

A view over Rabin-Streett pairs restricted to a subset of acceptance marks.

Member Typedef Documentation

rs_pairs

typedef std::vector<acc_cond::rs_pair> spot::rs_pairs_view::rs_pairs

Type alias for a vector of Rabin-Streett pairs.

Constructor & Destructor Documentation

rs_pairs_view() [1/2]

spot::rs_pairs_view::rs_pairs_view ( const rs_pairs &  p, const acc_cond::mark_t &  m  )

inlineexplicit

Create a view of pairs p restricted to marks visible in m.

rs_pairs_view() [2/2]

spot::rs_pairs_view::rs_pairs_view ( const rs_pairs &  p )

inlineexplicit

Create an unrestricted view of all pairs in p.

Member Function Documentation

fins()

acc_cond::mark_t spot::rs_pairs_view::fins ( ) const

inline

Returns the union of all visible Fin marks across all pairs.

References spot::acc_cond::rs_pair::fin.

fins_alone()

acc_cond::mark_t spot::rs_pairs_view::fins_alone ( ) const

inline

Returns Fin marks from pairs whose Inf part is not visible.

References spot::acc_cond::rs_pair::fin, and spot::acc_cond::rs_pair::inf.

infs()

acc_cond::mark_t spot::rs_pairs_view::infs ( ) const

inline

Returns the union of all visible Inf marks across all pairs.

References spot::acc_cond::rs_pair::inf.

infs_alone()

acc_cond::mark_t spot::rs_pairs_view::infs_alone ( ) const

inline

Returns Inf marks from pairs whose Fin part is not visible.

References spot::acc_cond::rs_pair::fin, and spot::acc_cond::rs_pair::inf.

paired_with_fin()

acc_cond::mark_t spot::rs_pairs_view::paired_with_fin ( unsigned  mark ) const

inline

Returns all Inf marks paired with a Fin containing mark.

Only considers pairs where both Fin and Inf parts are visible.

pairs()

const rs_pairs & spot::rs_pairs_view::pairs ( ) const

inline

Returns a reference to the underlying vector of pairs.

---

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

• spot/twa/acc.hh