cudd
3.0.0
The University of Colorado Decision Diagram Package
|
Multiway-branching Trees. More...
Files | |
file | mtr.h |
Multiway-branch tree manipulation. | |
file | mtrBasic.c |
Basic manipulation of multiway branching trees. | |
file | mtrGroup.c |
Functions to support group specification for reordering. | |
file | mtrInt.h |
Internal data structures of the mtr package. | |
file | testmtr.c |
Test program for the mtr package. | |
Multiway-branching Trees.