Package owl.game.output
Interface AigConsumer
-
- All Known Implementing Classes:
AigerPrinter
public interface AigConsumer
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description voidaddComment(String comment)intaddInput(String name)intaddLatch(String name, LabelledAig circuit)voidaddOutput(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)
-
-