cudd  3.0.0
The University of Colorado Decision Diagram Package
mtr Directory Reference
Directory dependency graph for mtr:
mtr

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.