Contains the result data for read_pla_to_bdd. 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.

Constructor & Destructor Documentation

BDDTable ( )

Default constructor.

~BDDTable ( )

Deconstructor.

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