spot::acc_cond::rs_pair Struct Reference

Rabin/streett pairs used by is_rabin_like and is_streett_like. More...

#include <spot/twa/acc.hh>

Collaboration diagram for spot::acc_cond::rs_pair:

Public Member Functions
	rs_pair (const rs_pair &)=default
	Copy constructor. More...
rs_pair &	operator= (const rs_pair &)=default
	Copy-assignment operator. More...
	rs_pair (acc_cond::mark_t fin, acc_cond::mark_t inf) noexcept
	Construct a pair with Fin mark fin and Inf mark inf. More...
bool	operator== (rs_pair o) const
	Equality comparison. More...
bool	operator!= (rs_pair o) const
	Inequality comparison. More...
bool	operator< (rs_pair o) const
	Less-than comparison (lexicographic on fin then inf). More...
bool	operator<= (rs_pair o) const
	Less-or-equal comparison. More...
bool	operator> (rs_pair o) const
	Greater-than comparison. More...
bool	operator>= (rs_pair o) const
	Greater-or-equal comparison. More...

Public Attributes
acc_cond::mark_t	fin
	The Fin acceptance mark of this pair. More...
acc_cond::mark_t	inf
	The Inf acceptance mark of this pair. More...

Detailed Description

Rabin/streett pairs used by is_rabin_like and is_streett_like.

These pairs hold two marks which can each contain one or no set number.

For instance is_streett_like() rewrites Inf(0)&(Inf(2)|Fin(1))&Fin(3) as three pairs: [(fin={},inf={0}),(fin={1},inf={2}),(fin={3},inf={})].

Empty marks should be interpreted in a way that makes them false in Streett, and true in Rabin.

Constructor & Destructor Documentation

rs_pair() [1/2]

spot::acc_cond::rs_pair::rs_pair ( const rs_pair &  )

default

Copy constructor.

rs_pair() [2/2]

spot::acc_cond::rs_pair::rs_pair ( acc_cond::mark_t  fin, acc_cond::mark_t  inf  )

inlinenoexcept

Construct a pair with Fin mark fin and Inf mark inf.

Member Function Documentation

operator!=()

bool spot::acc_cond::rs_pair::operator!= ( rs_pair  o ) const

inline

Inequality comparison.

References fin, and inf.

operator<()

bool spot::acc_cond::rs_pair::operator< ( rs_pair  o ) const

inline

Less-than comparison (lexicographic on fin then inf).

References fin, and inf.

operator<=()

bool spot::acc_cond::rs_pair::operator<= ( rs_pair  o ) const

inline

Less-or-equal comparison.

operator=()

rs_pair& spot::acc_cond::rs_pair::operator= ( const rs_pair &  )

default

Copy-assignment operator.

operator==()

bool spot::acc_cond::rs_pair::operator== ( rs_pair  o ) const

inline

Equality comparison.

References fin, and inf.

operator>()

bool spot::acc_cond::rs_pair::operator> ( rs_pair  o ) const

inline

Greater-than comparison.

operator>=()

bool spot::acc_cond::rs_pair::operator>= ( rs_pair  o ) const

inline

Greater-or-equal comparison.

Member Data Documentation

fin

acc_cond::mark_t spot::acc_cond::rs_pair::fin

The Fin acceptance mark of this pair.

Referenced by spot::rs_pairs_view::fins(), spot::rs_pairs_view::fins_alone(), spot::rs_pairs_view::infs_alone(), operator!=(), operator<(), and operator==().

inf

acc_cond::mark_t spot::acc_cond::rs_pair::inf

The Inf acceptance mark of this pair.

Referenced by spot::rs_pairs_view::fins_alone(), spot::rs_pairs_view::infs(), spot::rs_pairs_view::infs_alone(), operator!=(), operator<(), and operator==().

---

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

• spot/twa/acc.hh