Manage for a given automaton a vector of counter indexed by its acceptance condition.
More...
#include <tgbaalgos/weight.hh>
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).
- Parameters
-
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.
std::ostream& operator<< |
( |
std::ostream & |
os, |
|
|
const weight & |
w |
|
) |
| |
|
friend |
bdd spot::weight::neg_all_acc |
|
private |
The documentation for this class was generated from the following file: