Manage for a given automaton a vector of counter indexed by its acceptance condition.
More...
#include <tgbaalgos/weight.hh>
List of all members.
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 | |
|
) |
| | [static, private] |
static void spot::weight::inc_weight_handler |
( |
char * |
varset, |
|
|
int |
size | |
|
) |
| | [static, private] |
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
The documentation for this class was generated from the following file: