spot  1.99.3
 All Classes Files Functions Variables Typedefs Enumerations Enumerator Friends Modules 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 <twaalgos/weight.hh>

Collaboration diagram for spot::weight:
Collaboration graph

Public Member Functions

 weight (const acc_cond &acc)
 Construct a empty vector (all counters set to zero). More...
 
weightadd (const acc_cond &acc, acc_cond::mark_t a)
 Increment by one the counters of each acceptance condition in acc. More...
 
weightsub (const acc_cond &acc, acc_cond::mark_t a)
 Decrement by one the counters of each acceptance condition in acc. More...
 
acc_cond::mark_t diff (const acc_cond &acc, 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 acc_cond acc)

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

Member Function Documentation

weight& spot::weight::add ( const acc_cond acc,
acc_cond::mark_t  a 
)

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

acc_cond::mark_t spot::weight::diff ( const acc_cond acc,
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::sub ( const acc_cond acc,
acc_cond::mark_t  a 
)

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 Wed Aug 26 2015 08:42:38 for spot by doxygen 1.8.8