spot
1.99.3
|
Manage for a given automaton a vector of counter indexed by its acceptance condition. More...
#include <twaalgos/weight.hh>
Public Member Functions | |
weight (const acc_cond &acc) | |
Construct a empty vector (all counters set to zero). More... | |
weight & | add (const acc_cond &acc, acc_cond::mark_t a) |
Increment by one the counters of each acceptance condition in acc. More... | |
weight & | sub (const acc_cond &acc, acc_cond::mark_t a) |
Decrement by one the counters of each acceptance condition in acc. More... | |
acc_cond::mark_t | diff (const acc_cond &acc, 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 acc_cond & | acc | ) |
Construct a empty vector (all counters set to zero).
weight& spot::weight::add | ( | const acc_cond & | acc, |
acc_cond::mark_t | a | ||
) |
Increment by one the counters of each acceptance condition in acc.
acc_cond::mark_t spot::weight::diff | ( | const acc_cond & | acc, |
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::sub | ( | const acc_cond & | acc, |
acc_cond::mark_t | a | ||
) |
Decrement by one the counters of each acceptance condition in acc.