20 #ifndef SPOT_FASTTGBA_MARKSET_HH
21 # define SPOT_FASTTGBA_MARKSET_HH
25 #include <boost/dynamic_bitset.hpp>
26 #include "acc_dict.hh"
120 unsigned long to_ulong()
const;
127 virtual std::string
dump()
const;
136 #endif // SPOT_FASTTGBA_MARKSET_HH
virtual std::string dump() const
Display the content of the marking.
markset operator|(const markset &b) const
Perform a logical OR.
markset & operator^=(const markset &b)
perform a logic XOR with b
bool is_set(const mark b)
Retrun true if the mark is set.
markset & operator=(const markset &b)
Affect the value of b in this.
boost::dynamic_bitset markset_
the set of acceptance
Definition: markset.hh:130
markset operator~() const
Perform the negation of the mark.
markset & operator-=(const markset &b)
Compute the difference with b.
markset & operator|=(const markset &b)
perform a logic OR with b
bool operator==(const markset &b)
a comparator for two markset
bool empty()
test is a least one mark is set
acc_dict & accs_
the reference over the acc
Definition: markset.hh:131
markset & operator&=(const markset &b)
perform a logic AND with b
markset operator&(const markset &b) const
Perform a logical AND.
bool all() const
test if all mark are set
int mark
the type that represents a mark
Definition: markset.hh:32
This class represents a set of acceptance marks.
Definition: markset.hh:35
Definition: acc_dict.hh:31
virtual ~markset()
destructor for a markset
Definition: markset.hh:46
mark one()
Access to the first mark on the set.
size_t size()
Return the number of marks in the set.
void set_mark(mark m)
Set a mark in the markset.