50 friend std::ostream& operator<<(std::ostream& os,
weight & add(const acc_cond &acc, acc_cond::mark_t a)
Increment by one the counters of each acceptance condition in acc.
Manage for a given automaton a vector of counter indexed by its acceptance condition.
Definition: weight.hh:35
acc_cond::mark_t diff(const acc_cond &acc, const weight &w) const
weight(const acc_cond &acc)
Construct a empty vector (all counters set to zero).
weight & sub(const acc_cond &acc, acc_cond::mark_t a)
Decrement by one the counters of each acceptance condition in acc.