Classes | Namespaces | Functions
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.


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