Main Page | Modules | Namespace List | Class Hierarchy | Class List | Directories | File List | Namespace Members | Class Members | File Members

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::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:
Please comment this page and report errors about it on the RefDocComments page.
Generated on Mon Jan 31 12:56:05 2005 for spot by doxygen 1.4.0