#60: added possibility of having constants in exact_circuit

LP-RG · Jul 29, 2024 · ad6b074 · ad6b074
1 parent 2657f48
commit ad6b074
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/sxpat/template_manager/template_manager.py b/sxpat/template_manager/template_manager.py
@@ -363,6 +363,9 @@ def run(self) -> Sequence[Result]:
         for x in nodes_exact:
             if x[:len(SOP_QBF_Manager.OUTPUT_GATE_INITIALS)] != SOP_QBF_Manager.OUTPUT_GATE_INITIALS:
                 continue
+            if nodes_exact[next(graph_exact.predecessors(x))]['label'] == 'FALSE' or nodes_exact[next(graph_exact.predecessors(x))]['label'] == 'TRUE':
+                SOP_QBF_Manager.output.write(SOP_QBF_Manager.make_qcir_variable(x) + ' = and(' + ('91' if nodes_exact[next(graph_exact.predecessors(x))]['label'] == 'TRUE' else '92') + ')\n')
+                continue
             predecessor = next(graph_exact.predecessors(x))
             inv = False
             if predecessor in inverted: