write_blif_settings Struct Reference

Settings for write_blif. More...

List of all members.

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.

Detailed Description

Settings for write_blif.

Author:
RevKit
Since:
1.0

Constructor & Destructor Documentation

Standard constructor.

Initializes default values

Author:
RevKit
Since:
1.0

Member Function Documentation

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.

Parameters:
os Output stream, from write_blif
g The current g to be transformed
Author:
RevKit
Since:
1.0

Member Data Documentation

std::string tmp_signal_name

Prefix for the auxiliary variables which are created by the algorithm.

Default value is tmp

Author:
RevKit
Since:
1.0

The documentation for this struct was generated from the following file:

Generated on Tue Dec 21 2010 21:52:13 for RevKit by doxygen 1.7.1