AigConsumer
public class AigerPrinter extends java.lang.Object implements AigConsumer
Constructor | Description |
---|---|
AigerPrinter(boolean binaryOutput) |
Modifier and Type | Method | Description |
---|---|---|
void |
addComment(java.lang.String comment) |
|
int |
addInput(java.lang.String name) |
|
int |
addLatch(java.lang.String names,
LabelledAig circuit) |
|
void |
addOutput(java.lang.String name,
LabelledAig circuit) |
|
void |
print(java.io.OutputStream ostream) |
|
void |
print(java.io.PrintWriter writer) |
public int addInput(java.lang.String name)
addInput
in interface AigConsumer
public int addLatch(java.lang.String names, LabelledAig circuit)
addLatch
in interface AigConsumer
public void addOutput(java.lang.String name, LabelledAig circuit)
addOutput
in interface AigConsumer
public void addComment(java.lang.String comment)
addComment
in interface AigConsumer
public void print(java.io.OutputStream ostream)
public void print(java.io.PrintWriter writer)