spot::acc_cond::mark_t Struct Reference

An acceptance mark. More...

#include <spot/twa/acc.hh>

Inheritance diagram for spot::acc_cond::mark_t:

Collaboration diagram for spot::acc_cond::mark_t:

Public Member Functions
	mark_t ()=default
	Initialize an empty mark_t. More...
template<class iterator >
	mark_t (const iterator &begin, const iterator &end)
	Create a mark_t from a range of set numbers. More...
	mark_t (std::initializer_list< unsigned > vals)
	Create a mark_t from a list of set numbers. More...
	mark_t (unsigned i)
size_t	hash () const noexcept
bool	operator== (unsigned o) const
bool	operator!= (unsigned o) const
bool	operator== (mark_t o) const
bool	operator!= (mark_t o) const
bool	operator< (mark_t o) const
bool	operator<= (mark_t o) const
bool	operator> (mark_t o) const
bool	operator>= (mark_t o) const
	operator bool () const
bool	has (unsigned u) const
void	set (unsigned u)
void	clear (unsigned u)
mark_t &	operator&= (mark_t r)
mark_t &	operator|= (mark_t r)
mark_t &	operator-= (mark_t r)
mark_t &	operator^= (mark_t r)
mark_t	operator& (mark_t r) const
mark_t	operator| (mark_t r) const
mark_t	operator- (mark_t r) const
mark_t	operator~ () const
mark_t	operator^ (mark_t r) const
mark_t	operator<< (unsigned i) const
mark_t &	operator<<= (unsigned i)
mark_t	operator>> (unsigned i) const
mark_t &	operator>>= (unsigned i)
mark_t	strip (mark_t y) const
bool	subset (mark_t m) const
	Whether the set of bits represented by *this is a subset of those represented by m. More...
bool	proper_subset (mark_t m) const
	Whether the set of bits represented by *this is a proper subset of those represented by m. More...
unsigned	count () const
	Number of bits sets. More...
unsigned	max_set () const
	The number of the highest set used plus one. More...
unsigned	min_set () const
	The number of the lowest set used plus one. More...
mark_t	lowest () const
	A mark_t where all bits have been removed except the lowest one. More...
bool	is_singleton () const
	Whether the mark contains only one bit set. More...
bool	has_many () const
	Whether the mark contains at least two bits set. More...
mark_t &	remove_some (unsigned n)
	Remove n bits that where set. More...
template<class iterator >
void	fill (iterator here) const
	Fill a container with the indices of the bits that are set. More...
spot::internal::mark_container	sets () const
	Returns some iterable object that contains the used sets. More...
std::string	as_string () const

Static Public Member Functions
constexpr static unsigned	max_accsets ()
	The maximum number of acceptance sets supported by this implementation. More...
static mark_t	all ()
	A mark_t with all bits set to one. More...

Friends
std::ostream &	operator<< (std::ostream &os, mark_t m)

Detailed Description

An acceptance mark.

This type is used to represent a set of acceptance sets. It works (and is implemented) like a bit vector where bit at index i represents the membership to the i-th acceptance set.

Typically, each transition of an automaton is labeled by a mark_t that represents the membership of the transition to each of the acceptance sets.

For efficiency reason, the maximum number of acceptance sets (i.e., the size of the bit vector) supported is a compile-time constant. It can be changed by passing an option to the configure script of Spot.

Constructor & Destructor Documentation

mark_t() [1/3]

spot::acc_cond::mark_t::mark_t ( )

default

Initialize an empty mark_t.

mark_t() [2/3]

template<class iterator >

spot::acc_cond::mark_t::mark_t ( const iterator &  begin, const iterator &  end  )

inline

Create a mark_t from a range of set numbers.

mark_t() [3/3]

spot::acc_cond::mark_t::mark_t ( std::initializer_list< unsigned >  vals )

inline

Create a mark_t from a list of set numbers.

Member Function Documentation

all()

static mark_t spot::acc_cond::mark_t::all ( )

inlinestatic

A mark_t with all bits set to one.

Beware that all bits are sets, not just the bits used in the acceptance condition. This class is unaware of the acceptance condition.

count()

unsigned spot::acc_cond::mark_t::count ( ) const

inline

Number of bits sets.

fill()

template<class iterator >

void spot::acc_cond::mark_t::fill ( iterator  here ) const

inline

Fill a container with the indices of the bits that are set.

has_many()

bool spot::acc_cond::mark_t::has_many ( ) const

inline

Whether the mark contains at least two bits set.

is_singleton()

bool spot::acc_cond::mark_t::is_singleton ( ) const

inline

Whether the mark contains only one bit set.

lowest()

mark_t spot::acc_cond::mark_t::lowest ( ) const

inline

A mark_t where all bits have been removed except the lowest one.

For instance if this contains {1,3,8}, the output is {1}.

max_accsets()

constexpr static unsigned spot::acc_cond::mark_t::max_accsets ( )

inlinestaticconstexpr

The maximum number of acceptance sets supported by this implementation.

The value can be changed at compile-time using configure's –enable-max-accsets=N option.

max_set()

unsigned spot::acc_cond::mark_t::max_set ( ) const

inline

The number of the highest set used plus one.

If no set is used, this returns 0, If the sets {1,3,8} are used, this returns 9.

min_set()

unsigned spot::acc_cond::mark_t::min_set ( ) const

inline

The number of the lowest set used plus one.

If no set is used, this returns 0. If the sets {1,3,8} are used, this returns 2.

proper_subset()

bool spot::acc_cond::mark_t::proper_subset ( mark_t  m ) const

inline

Whether the set of bits represented by *this is a proper subset of those represented by m.

remove_some()

mark_t& spot::acc_cond::mark_t::remove_some ( unsigned  n )

inline

Remove n bits that where set.

If there are less than n bits set, the output is empty.

sets()

spot::internal::mark_container spot::acc_cond::mark_t::sets ( ) const

inline

Returns some iterable object that contains the used sets.

subset()

bool spot::acc_cond::mark_t::subset ( mark_t  m ) const

inline

Whether the set of bits represented by *this is a subset of those represented by m.

---

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

• spot/twa/acc.hh