cudd  3.0.0
The University of Colorado Decision Diagram Package
Files
mtr

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.
 

Detailed Description

Multiway-branching Trees.