Search-engine friendly clone of the
ACL2 documentation
.
Top
Documentation
Books
Boolean-reasoning
Ipasir
Aignet
Base-api
Aignet-construction
Representation
Aignet-copy-init
Aignet-simplify-marked-with-tracking
Aignet-cnf
Aignet-simplify-with-tracking
Aignet-complete-copy
Aignet-eval
Semantics
Aignet-transforms
Aignet-comb-transforms
Fraig
Observability-fix
Constprop
Balance
Apply-m-assumption-n-output-output-transform-default
Obs-constprop
Apply-n-output-comb-transform-default
Rewrite
Comb-transform
Abc-comb-simplify
Apply-comb-transform-default
Prune
Rewrite!
M-assumption-n-output-comb-transform->name
N-output-comb-transform->name
Comb-transform->name
N-output-comb-transformlist
M-assumption-n-output-comb-transformlist
Comb-transformlist
Comb-transformlist-fix
Comb-transformlist-equiv
Comb-transformlist-p
Apply-comb-transform
Aignet-m-assumption-n-output-transforms
Aignet-n-output-comb-transforms
Aignet-simplify-marked
Aignet-read-aiger
Aignet-write-aiger
Aignet-abc-interface
Utilities
Aig
Satlink
Truth
Ubdds
Bdd
Faig
Bed
4v
Projects
Debugging
Std
Proof-automation
Macro-libraries
ACL2
Interfacing-tools
Hardware-verification
Software-verification
Math
Testing-utilities
Aignet-comb-transforms
Comb-transformlist
A list of
comb-transform-p
objects.
This is an ordinary
fty::deflist
.
Subtopics
Comb-transformlist-fix
(comb-transformlist-fix x)
is a usual
ACL2::fty
list fixing function.
Comb-transformlist-equiv
Basic equivalence relation for
comb-transformlist
structures.
Comb-transformlist-p
(comb-transformlist-p x)
recognizes lists where every element satisfies
comb-transform-p
.