Cudd.MTR

data MtrNode s

data CMtrNode

mtrAllocNode

mtrCreateFirstChild

mtrCreateLastChild

mtrDeallocNode

mtrMakeFirstChild

mtrMakeLastChild

mtrMakeNextSibling

mtrPrintGroups

mtrPrintTree

mtrMakeGroup

mtrInitGroupTree

mtrFindGroup

mtrDissolveGroup

data MTRType