spot  0.8.2
Public Member Functions | Private Attributes
spot::bdd_ordered Class Reference

#include <tgba/tgbakvcomplement.hh>

List of all members.

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 ( 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 Thu Jan 19 2012 19:33:05 for spot by doxygen 1.7.6.1