the nnf expression to translate
the target circuit in which to encode the formula
if set to true, all gates created in the circuit will be switchable
The current atom translation cache as an immutable function.
An immutable map from nnf Atoms to circuit variables.
the target circuit in which to encode the formula
Translate nnf formula to primary circuit, asserts root gate is true and and declares it as output.
Translate nnf formula to primary circuit, asserts root gate is true and and declares it as output. Encodes nnf atoms first to that their corresponding variables and optional switches use the lowest possible indices of the target formula.
The current expression translation cache as an immutable function.
Inputs of the primary circuit.
the nnf expression to translate
Output of the primary circuit.
if set to true, all gates created in the circuit will be switchable
Translator for a primary circuit. If the switchableGates parameter is false, then atoms of the nnf formula are guaranteed to use the index range [1, nnf.atoms.size].
the nnf expression to translate
the target circuit in which to encode the formula
if set to true, all gates created in the circuit will be switchable