spot
1.2.4
|
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.