ABL(1) - Linux manual page online | User commands
Prefixed representation for boolean functions.
Chapters
October 1, 1997
Loading manual page ...
| This manual | Reference | Other manuals |
|---|---|---|
| abl(1) | referred by |
ablToBddCct(3) | addablhexpr(3) | addablqexpr(3) | addbddcircuitabl(3) | bdd(1) | bddToAblCct(3) | convertbddcircuitabl(3) | convertbddcircuitsumabl(3) | convertbddmuxabl(3) | convertbddnodeabl(3) | convertbddnodesumabl(3) | createablatom(3) | createablbinexpr(3) | createablnotexpr(3) | createabloper(3) | createablunaryexpr(3) | createablxorbinexpr(3) | delablexpr(3) | delablexprnum(3) | devablxorexpr(3) |
| refer to | expr(3tcl) | log(1) |