Settings for write_blif. More...
Public Member Functions | |
write_blif_settings () | |
Standard constructor. | |
void | operator() (std::ostream &os, const gate &g) const |
Operator for transforming the gates into BLIF code. | |
Public Attributes | |
std::string | tmp_signal_name |
Prefix for the auxiliary variables which are created by the algorithm. |
Settings for write_blif.
Standard constructor.
Initializes default values
void operator() | ( | std::ostream & | os, | |
const gate & | g | |||
) | const |
Operator for transforming the gates into BLIF code.
By convention the first input signals are for the target lines and then the control lines. The number of output signals is the number of target lines. Only the cubes have to be printed, not the .names declaration.
This operator has to be overridden when new gate types should be supported.
os | Output stream, from write_blif | |
g | The current g to be transformed |
std::string tmp_signal_name |
Prefix for the auxiliary variables which are created by the algorithm.
Default value is tmp