List of all members | Public Member Functions | Public Attributes
BDDTable Class Reference

Contains the result data for read_pla_to_bdd. More...

Public Member Functions

 BDDTable ()
 Default constructor. More...
 
 ~BDDTable ()
 Deconstructor. More...
 

Public Attributes

std::vector< std::pair
< std::string, DdNode * > > 
inputs
 Stores the input nodes (with name)
 
std::vector< std::pair
< std::string, DdNode * > > 
outputs
 Stores the output nodes (with name)
 
boost::optional< unsigned > num_real_outputs
 If the characteristic function is generated (not used so far), then the real number of inputs is stored here as outputs will always contain one element in this case.
 
DdManager * cudd
 The internal CUDD manager object.
 

Detailed Description

Contains the result data for read_pla_to_bdd.

Author
RevKit
Since
1.3

Constructor & Destructor Documentation

BDDTable ( )

Default constructor.

Author
RevKit
Since
1.3
~BDDTable ( )

Deconstructor.

Author
RevKit
Since
1.3

The documentation for this class was generated from the following file:

Generated on Tue Apr 16 2013 08:12:02 for RevKit by doxygen 1.8.3.1