spot::weight Class Reference

Manage for a given automaton a vector of counter indexed by its acceptance condition. More...

#include <tgbaalgos/weight.hh>

List of all members.

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)

---

Detailed Description

Manage for a given automaton a vector of counter indexed by its acceptance condition.

---

Member Typedef Documentation

typedef std::map<int, int> spot::weight::weight_vector [private]

---

Constructor & Destructor Documentation

spot::weight::weight

(

const bdd &

neg_all_cond

)

Construct a empty vector (all counters set to zero).

Parameters:

neg_all_cond

: negation of all the acceptance conditions of the automaton (the bdd returned by tgba::neg_acceptance_conditions()).

---

Member Function Documentation

weight& spot::weight::operator+=

(

const bdd &

acc

)

Increment by one the counters of each acceptance condition in acc.

weight& spot::weight::operator-=

(

const bdd &

acc

)

Decrement 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.

static void spot::weight::inc_weight_handler	(	char *	varset,
		int	size
	)			[static, private]

static void spot::weight::dec_weight_handler	(	char *	varset,
		int	size
	)			[static, private]

---

Friends And Related Function Documentation

std::ostream& operator<<	(	std::ostream &	os,
		const weight &	w
	)			[friend]

---

Member Data Documentation

weight_vector spot::weight::m [private]

bdd spot::weight::neg_all_acc [private]

weight_vector* spot::weight::pm [static, private]

---

The documentation for this class was generated from the following file:

• tgbaalgos/weight.hh

---

Please comment this page and report errors about it on the RefDocComments page.