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 (  )  [inline]
spot::bdd_ordered::bdd_ordered ( int  bdd_,
unsigned  order_ 
) [inline]

Member Function Documentation

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

References order_.

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

References order_.

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

Member Data Documentation

int spot::bdd_ordered::bdd_ [private]
unsigned spot::bdd_ordered::order_ [private]

Referenced by get_bdd(), and 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 Fri Apr 16 09:43:09 2010 for spot by doxygen 1.6.3