spot
1.2.1a
|
This class represents a set of acceptance marks. More...
#include <fasttgba/markset.hh>
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... | |
markset & | operator&= (const markset &b) |
perform a logic AND with b More... | |
bool | operator== (const markset &b) |
a comparator for two markset More... | |
markset & | operator|= (const markset &b) |
perform a logic OR with b More... | |
markset & | operator^= (const markset &b) |
perform a logic XOR with b More... | |
markset & | operator-= (const markset &b) |
Compute the difference with b. More... | |
markset & | operator-= (const mark b) |
Compute the difference with b. More... | |
bool | is_set (const mark b) |
Retrun true if the mark is set. More... | |
markset & | operator= (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_dict & | accs_ |
the reference over the acc More... | |
This class represents a set of acceptance marks.
spot::markset::markset | ( | acc_dict & | acc | ) |
Initialize a mark of size size.
|
inlinevirtual |
destructor for a markset
spot::markset::markset | ( | const markset & | b | ) |
A copy constructor.
bool spot::markset::all | ( | ) | const |
test if all mark are set
|
virtual |
Display the content of the marking.
acc | is 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.
perform a logic AND with b
Assign the result to this
Compute the difference with b.
Assign the result to this
Compute the difference with b.
Assign the result to this
bool spot::markset::operator== | ( | const markset & | b | ) |
a comparator for two markset
perform a logic XOR with b
Assign the result to this
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.
m | the 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.
|
protected |
the reference over the acc
|
protected |
the set of acceptance