|
cudd
3.0.0
The University of Colorado Decision Diagram Package
|

Files | |
| file | mtr.h [code] |
| 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 [code] |
| Internal data structures of the mtr package. | |
| file | testmtr.c |
| Test program for the mtr package. | |
1.8.11