AigerPrinter
public interface AigConsumer
Modifier and Type | Method | Description |
---|---|---|
void |
addComment(java.lang.String comment) |
|
int |
addInput(java.lang.String name) |
|
int |
addLatch(java.lang.String name,
LabelledAig circuit) |
|
void |
addOutput(java.lang.String name,
LabelledAig circuit) |
int addInput(java.lang.String name)
int addLatch(java.lang.String name, LabelledAig circuit)
void addOutput(java.lang.String name, LabelledAig circuit)
void addComment(java.lang.String comment)