spot  1.0.1
Public Member Functions | Private Types | Static Private Member Functions | Private Attributes | Static Private Attributes | Friends | List of all members
spot::weight Class Reference

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

#include <tgbaalgos/weight.hh>

Collaboration diagram for spot::weight:
Collaboration graph

Public Member Functions

 weight (const bdd &neg_all_cond)
weightoperator+= (const bdd &acc)
 Increment by one the counters of each acceptance condition in acc.
weightoperator-= (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_vectorpm

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

static void spot::weight::dec_weight_handler ( char *  varset,
int  size 
)
staticprivate
static void spot::weight::inc_weight_handler ( char *  varset,
int  size 
)
staticprivate
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.

Precondition
For each acceptance condition, its counter is greatest or equal to the corresponding counter in w.
weight& spot::weight::operator-= ( const bdd &  acc)

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

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
staticprivate

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

Please comment this page and report errors about it on the RefDocComments page.
Generated on Wed Jan 23 2013 15:00:04 for spot by doxygen 1.8.1.2