20 #ifndef SPOT_TGBAALGOS_WEIGHT_HH
21 # define SPOT_TGBAALGOS_WEIGHT_HH
39 weight(
const bdd& neg_all_cond);
50 friend std::ostream& operator<<(std::ostream& os,
const weight& w);
53 typedef std::map<int, int> weight_vector;
56 static weight_vector* pm;
57 static void inc_weight_handler(
char* varset,
int size);
58 static void dec_weight_handler(
char* varset,
int size);
62 #endif // SPOT_TGBAALGOS_WEIGHT_HH
Manage for a given automaton a vector of counter indexed by its acceptance condition.
Definition: weight.hh:32
weight & operator+=(const bdd &acc)
Increment by one the counters of each acceptance condition in acc.
weight(const bdd &neg_all_cond)
weight & operator-=(const bdd &acc)
Decrement by one the counters of each acceptance condition in acc.
bdd operator-(const weight &w) const