spot  1.1.4
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 direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Mon Jul 29 2013 00:27:26 for spot by doxygen 1.8.4