spot  1.0.2
Public Member Functions | Private Attributes | List of all members
spot::bdd_ordered Class Reference

#include <tgba/tgbakvcomplement.hh>

Collaboration diagram for spot::bdd_ordered:
Collaboration graph

Public Member Functions

 bdd_ordered ()
 bdd_ordered (int bdd_, unsigned order_)
unsigned order () const
unsigned & order ()
bdd get_bdd () const

Private Attributes

int bdd_
unsigned order_

Constructor & Destructor Documentation

spot::bdd_ordered::bdd_ordered ( )
inline
spot::bdd_ordered::bdd_ordered ( int  bdd_,
unsigned  order_ 
)
inline

Member Function Documentation

bdd spot::bdd_ordered::get_bdd ( ) const
inline

References bdd_.

unsigned spot::bdd_ordered::order ( ) const
inline

References order_.

unsigned& spot::bdd_ordered::order ( )
inline

References order_.

Member Data Documentation

int spot::bdd_ordered::bdd_
private

Referenced by get_bdd().

unsigned spot::bdd_ordered::order_
private

Referenced by order().


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 Mar 6 2013 09:25:16 for spot by doxygen 1.8.1.2