spot  0.9.1
Public Member Functions | Private Types | Static Private Member Functions | Private Attributes | Static Private Attributes | Friends
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)
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 
) [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.

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::pm [static, private]

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 May 23 2012 12:06:47 for spot by doxygen 1.7.6.1