Writes a truth table to a RevLib specification file. More...
Classes | |
struct | write_specification_settings |
Settings for write_specification. More... | |
Namespaces | |
namespace | revkit |
Main namespace. | |
Functions | |
bool | write_specification (const binary_truth_table &spec, const std::string &filename, const write_specification_settings &settings=write_specification_settings()) |
Writes a truth table to a RevLib specification file. More... | |
Writes a truth table to a RevLib specification file.