read_pla.hpp File Reference

Reads a specification from a PLA file. More...

Classes
struct	read_pla_settings
	Settings for read_pla function. More...

Namespaces
namespace	revkit
	Main namespace.

Functions
bool	read_pla (binary_truth_table &spec, const std::string &filename, const read_pla_settings &settings=read_pla_settings(), std::string *error=0)
	Reads a specification from a PLA file. More...

Detailed Description

Reads a specification from a PLA file.