spot
0.8.1
|
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 |
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) |
Manage for a given automaton a vector of counter indexed by its acceptance condition.
typedef std::map<int, int> spot::weight::weight_vector [private] |
spot::weight::weight | ( | const bdd & | neg_all_cond | ) |
Construct a empty vector (all counters set to zero).
neg_all_cond | : negation of all the acceptance conditions of the automaton (the bdd returned by tgba::neg_acceptance_conditions()). |
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.
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] |
weight_vector spot::weight::m [private] |
bdd spot::weight::neg_all_acc [private] |
weight_vector* spot::weight::pm [static, private] |