Parser for RevLib specification (*.spec) file format. More...
Classes | |
class | specification_processor |
Implementation of revlib_processor to construct a reversible_truth_table. More... | |
Namespaces | |
namespace | revkit |
Main namespace. | |
Functions | |
bool | read_specification (binary_truth_table &spec, std::istream &in, std::string *error=0) |
Read a specification into a truth table from stream. More... | |
bool | read_specification (binary_truth_table &spec, const std::string &filename, std::string *error=0) |
Read a specification into a truth table from filename. More... | |
Parser for RevLib specification (*.spec) file format.