|
spot
1.2.6
|
Manage for a given automaton a vector of counter indexed by its acceptance condition. More...
#include <tgbaalgos/weight.hh>

Public Member Functions | |
| weight (const bdd &neg_all_cond) | |
| weight & | operator+= (const bdd &acc) |
| Increment by one the counters of each acceptance condition in acc. More... | |
| weight & | operator-= (const bdd &acc) |
| Decrement by one the counters of each acceptance condition in acc. More... | |
| bdd | operator- (const weight &w) const |
Friends | |
| std::ostream & | operator<< (std::ostream &os, const weight &w) |
Manage for a given automaton a vector of counter indexed by its acceptance condition.
| spot::weight::weight | ( | const bdd & | neg_all_cond) |
Construct a empty vector (all counters set to zero).
| neg_all_cond | : negation of all the acceptance conditions of the automaton (the bdd returned by tgba::neg_acceptance_conditions()). |
| weight& spot::weight::operator+= | ( | const bdd & | acc) |
Increment by one the counters of each acceptance condition in acc.
| bdd spot::weight::operator- | ( | const weight & | w) | const |
Return the set of each acceptance condition such that its counter is strictly greatest than the corresponding counter in w.
| weight& spot::weight::operator-= | ( | const bdd & | acc) |
Decrement by one the counters of each acceptance condition in acc.
1.8.4