#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 |
Private Types | |
typedef std::map< int, int > | weight_vector |
Static Private Member Functions | |
static void | inc_weight_handler (char *varset, int size) |
static void | dec_weight_handler (char *varset, int size) |
Private Attributes | |
weight_vector | m |
bdd | neg_all_acc |
Static Private Attributes | |
static weight_vector * | pm |
Friends | |
std::ostream & | operator<< (std::ostream &os, const weight &w) |
|
|
|
Construct a empty vector (all counters set to zero).
|
|
|
|
|
|
Increment by one the counters of each acceptance condition in acc.
|
|
Return the set of each acceptance condition such that its counter is strictly greatest than the corresponding counter in w.
|
|
Decrement by one the counters of each acceptance condition in acc.
|
|
|
|
|
|
|
|
|