Aignet transforms that simplify the network while preserving combinational
equivalence of the first M primary outputs and combinational equivalence
when assuming the first M primary outputs true on the next N primary
- Configuration object for any combinational transform supported by apply-m-assumption-n-output-output-transform-default.
- Stub for an AIG transform that preserves combinational equivalence of
the first M primary outputs, then preserves combinational equivalence
of the next N primary outputs under the assumption of the first N