public class AigerPrinter
extends Object
implements AigConsumer

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`addComment(String comment)`
`int`	`addInput(String name)`
`int`	`addLatch(String names, LabelledAig circuit)`
`void`	`addOutput(String name, LabelledAig circuit)`
`void`	`print(OutputStream os)`
`void`	`print(PrintWriter writer)`

public AigerPrinter(boolean binaryOutput)

public int addLatch(String names,
                    LabelledAig circuit)

public void addOutput(String name,
                      LabelledAig circuit)

public void print(OutputStream os)

public void print(PrintWriter writer)

Class AigerPrinter