spot  1.2.4
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Groups Pages
Public Member Functions | 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. More...
 
weightoperator-= (const bdd &acc)
 Decrement by one the counters of each acceptance condition in acc. More...
 
bdd operator- (const weight &w) const
 

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.

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.

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.


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

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Thu May 15 2014 11:04:12 for spot by doxygen 1.8.4