Adds new constraints to the dual-rail encoding for an optimization that is applied when a given gate g is such that:
- the COI of g does not intersect the COI all of its parent's other kids
Under such conditions, the gate is part of a prime implicant iff when different from "?" some clause 'c' in the set of all clauses defining its parents gates is such that c - {g}, is false.
Applied only on gates of the primary circuit.
Linear Supertypes
Serializable, Serializable, Product, Equals, AnyRef, Any
Adds new constraints to the dual-rail encoding for an optimization that is applied when a given gate g is such that: - the COI of g does not intersect the COI all of its parent's other kids
Under such conditions, the gate is part of a prime implicant iff when different from "?" some clause 'c' in the set of all clauses defining its parents gates is such that c - {g}, is false.
Applied only on gates of the primary circuit.