Package owl.game.output

Interface AigConsumer

All Known Implementing Classes:

AigerPrinter

public interface AigConsumer

Method Summary

Modifier and Type	Method	Description
void	addComment(String comment)
int	addInput(String name)
int	addLatch(String name, LabelledAig circuit)
void	addOutput(String name, LabelledAig circuit)

Method Detail

addInput

int addInput(String name)

addLatch

int addLatch(String name,
             LabelledAig circuit)

addOutput

void addOutput(String name,
               LabelledAig circuit)

addComment

void addComment(String comment)