spot  1.2.1a
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Groups Pages
Public Member Functions | Protected Attributes | List of all members
spot::markset Class Reference

This class represents a set of acceptance marks. More...

#include <fasttgba/markset.hh>

Collaboration diagram for spot::markset:
Collaboration graph

Public Member Functions

 markset (acc_dict &acc)
 Initialize a mark of size size. More...
 
virtual ~markset ()
 destructor for a markset More...
 
 markset (const markset &b)
 A copy constructor. More...
 
marksetoperator&= (const markset &b)
 perform a logic AND with b More...
 
bool operator== (const markset &b)
 a comparator for two markset More...
 
marksetoperator|= (const markset &b)
 perform a logic OR with b More...
 
marksetoperator^= (const markset &b)
 perform a logic XOR with b More...
 
marksetoperator-= (const markset &b)
 Compute the difference with b. More...
 
marksetoperator-= (const mark b)
 Compute the difference with b. More...
 
bool is_set (const mark b)
 Retrun true if the mark is set. More...
 
marksetoperator= (const markset &b)
 Affect the value of b in this. More...
 
markset operator& (const markset &b) const
 Perform a logical AND. More...
 
markset operator| (const markset &b) const
 Perform a logical OR. More...
 
void set_mark (mark m)
 Set a mark in the markset. More...
 
bool empty ()
 test is a least one mark is set More...
 
bool all () const
 test if all mark are set More...
 
mark one ()
 Access to the first mark on the set. More...
 
size_t size ()
 Return the number of marks in the set. More...
 
markset operator~ () const
 Perform the negation of the mark. More...
 
unsigned long to_ulong () const
 
markset operator| (const unsigned long) const
 
virtual std::string dump () const
 Display the content of the marking. More...
 

Protected Attributes

boost::dynamic_bitset markset_
 the set of acceptance More...
 
acc_dictaccs_
 the reference over the acc More...
 

Detailed Description

This class represents a set of acceptance marks.

Constructor & Destructor Documentation

spot::markset::markset ( acc_dict acc)

Initialize a mark of size size.

virtual spot::markset::~markset ( )
inlinevirtual

destructor for a markset

spot::markset::markset ( const markset b)

A copy constructor.

Member Function Documentation

bool spot::markset::all ( ) const

test if all mark are set

virtual std::string spot::markset::dump ( ) const
virtual

Display the content of the marking.

Parameters
accis used to specified for each mark the label to use in dumping
bool spot::markset::empty ( )

test is a least one mark is set

Return a boolean that indicates if there is at least a mark which is set

bool spot::markset::is_set ( const mark  b)

Retrun true if the mark is set.

mark spot::markset::one ( )

Access to the first mark on the set.

To grab all mark, a loop which remove all mark must be realized.

markset spot::markset::operator& ( const markset b) const

Perform a logical AND.

markset& spot::markset::operator&= ( const markset b)

perform a logic AND with b

Assign the result to this

markset& spot::markset::operator-= ( const markset b)

Compute the difference with b.

Assign the result to this

markset& spot::markset::operator-= ( const mark  b)

Compute the difference with b.

Assign the result to this

markset& spot::markset::operator= ( const markset b)

Affect the value of b in this.

bool spot::markset::operator== ( const markset b)

a comparator for two markset

markset& spot::markset::operator^= ( const markset b)

perform a logic XOR with b

Assign the result to this

markset spot::markset::operator| ( const markset b) const

Perform a logical OR.

markset& spot::markset::operator|= ( const markset b)

perform a logic OR with b

Assign the result to this

markset spot::markset::operator~ ( ) const

Perform the negation of the mark.

Return a new mark which is the negation of thiss

void spot::markset::set_mark ( mark  m)

Set a mark in the markset.

Parameters
mthe mark to be set Return true if the mark was not already set, false otherwise
size_t spot::markset::size ( )

Return the number of marks in the set.

Member Data Documentation

acc_dict& spot::markset::accs_
protected

the reference over the acc

boost::dynamic_bitset spot::markset::markset_
protected

the set of acceptance


The documentation for this class 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 Tue Jan 21 2014 16:52:02 for spot by doxygen 1.8.5