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.
|
weight & | operator-= (const bdd &acc) |
| Decrement by one the counters of each acceptance condition in acc.
|
bdd | operator- (const weight &w) const |
Detailed Description
Manage for a given automaton a vector of counter indexed by its acceptance condition.
Member Typedef Documentation
Constructor & Destructor Documentation
spot::weight::weight |
( |
const bdd & |
neg_all_cond | ) |
|
Construct a empty vector (all counters set to zero).
- Parameters
-
Member Function Documentation
static void spot::weight::dec_weight_handler |
( |
char * |
varset, |
|
|
int |
size |
|
) |
| |
|
staticprivate |
static void spot::weight::inc_weight_handler |
( |
char * |
varset, |
|
|
int |
size |
|
) |
| |
|
staticprivate |
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.
- Precondition
- For each acceptance condition, its counter is greatest or equal to the corresponding counter in w.
weight& spot::weight::operator-= |
( |
const bdd & |
acc | ) |
|
Decrement by one the counters of each acceptance condition in acc.
Friends And Related Function Documentation
std::ostream& operator<< |
( |
std::ostream & |
os, |
|
|
const weight & |
w |
|
) |
| |
|
friend |
Member Data Documentation
bdd spot::weight::neg_all_acc |
|
private |
The documentation for this class was generated from the following file: