Allow lazy argument in to_aig

mvcisback · mvcisback · commit 6ba926d8c669 · 2020-05-10T20:05:27.000-07:00
diff --git a/aiger/aig.py b/aiger/aig.py
@@ -462,7 +462,7 @@ def sub(node):
     )
 
 
-def to_aig(circ) -> AIG:
+def to_aig(circ, *, allow_lazy=True) -> AIG:
     if isinstance(circ, pathlib.Path) and circ.is_file():
         circ = parser.load(circ)
     elif isinstance(circ, str):

Original file line number	Diff line number	Diff line change
`@@ -462,7 +462,7 @@ def sub(node):`
`462`	`462`	`)`
`463`	`463`
`464`	`464`
`465`		`-def to_aig(circ) -> AIG:`
	`465`	`+def to_aig(circ, *, allow_lazy=True) -> AIG:`
`466`	`466`	`if isinstance(circ, pathlib.Path) and circ.is_file():`
`467`	`467`	`circ = parser.load(circ)`
`468`	`468`	`elif isinstance(circ, str):`