read_pla_to_bdd.hpp File Reference

Reads a BDD from a PLA file. More...

Classes
class	BDDTable
	Contains the result data for read_pla_to_bdd. More...

Namespaces
namespace	revkit
	Main namespace.

Functions
bool	read_pla_to_bdd (BDDTable &bdd, const std::string &filename)
	Reads a BDD from a PLA file. More...

Detailed Description

Reads a BDD from a PLA file.