		Search-engine friendly clone of the ACL2 documentation.

Comb-transform

Configuration object for any combinational transform supported by apply-comb-transforms.

This is a ``transparent'' sum type introduced using fty::deftranssum. It is simply any one of the following types:

Fraig-config: Configuration object for the fraig aignet transform.
Comb-transform-p: Recognizer for comb-transform.
Comb-transform-fix: (comb-transform-fix x) is a ACL2::fty fixing function.
Rewrite-config: Configuration object for the rewrite aignet transform.
Obs-constprop-config: Configuration object for the obs-constprop aignet transform.
Observability-config: Configuration object for the observability-fix aignet transform.
Constprop-config: Configuration object for the constprop aignet transform.
Abc-comb-simp-config: Configuration object for using the abc-comb-simplify transform on an aignet.
M-assum-n-output-observability-config: Configuration object for the m-assum-n-output-observability aignet transform.
Comb-transform-equiv: Basic equivalence relation for comb-transform structures.
Snapshot-config: Aignet transform that returns the same network and simply writes a snapshot into an aiger file for debugging.
Prune-config: Aignet transform that prunes out unused logic in the network.