spot  2.6.2
Public Member Functions | Static Public Member Functions | Friends | List of all members
spot::acc_cond::mark_t Struct Reference
Inheritance diagram for spot::acc_cond::mark_t:
Collaboration diagram for spot::acc_cond::mark_t:

Public Member Functions

template<class iterator >
 mark_t (const iterator &begin, const iterator &end)
 
 mark_t (std::initializer_list< unsigned > vals)
 
 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_toperator &= (mark_t r)
 
mark_toperator|= (mark_t r)
 
mark_toperator-= (mark_t r)
 
mark_toperator^= (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_toperator<<= (unsigned i)
 
mark_t operator>> (unsigned i) const
 
mark_toperator>>= (unsigned i)
 
mark_t strip (mark_t y) const
 
bool subset (mark_t m) const
 
bool proper_subset (mark_t m) const
 
unsigned count () const
 
unsigned max_set () const
 
unsigned min_set () const
 
mark_t lowest () const
 
mark_tremove_some (unsigned n)
 
template<class iterator >
void fill (iterator here) const
 
spot::internal::mark_container sets () const
 

Static Public Member Functions

static constexpr unsigned max_accsets ()
 The maximum number of acceptance sets supported by this implementation. More...
 
static mark_t all ()
 

Friends

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

Member Function Documentation

◆ max_accsets()

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

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.

References spot::And, spot::Or, and spot::U.


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

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Fri Feb 27 2015 10:00:07 for spot by doxygen 1.8.13