cudd-0.1.0.4: Bindings to the CUDD binary decision diagrams library

Safe HaskellNone
LanguageHaskell2010

Cudd.MTR

Documentation

newtype MtrNode s Source #

Constructors

MtrNode (Ptr CMtrNode) 

data CMtrNode Source #

mtrAllocNode :: ST s (MtrNode s) Source #

mtrCreateFirstChild :: MtrNode s -> ST s (MtrNode s) Source #

mtrCreateLastChild :: MtrNode s -> ST s (MtrNode s) Source #

mtrDeallocNode :: MtrNode s -> ST s () Source #

mtrMakeFirstChild :: MtrNode s -> MtrNode s -> ST s () Source #

mtrMakeLastChild :: MtrNode s -> MtrNode s -> ST s () Source #

mtrMakeNextSibling :: MtrNode s -> MtrNode s -> ST s () Source #

mtrPrintGroups :: MtrNode s -> Int -> ST s () Source #

mtrPrintTree :: MtrNode s -> ST s () Source #

mtrMakeGroup :: MtrNode s -> Int -> Int -> Int -> ST s (MtrNode s) Source #

mtrInitGroupTree :: Int -> Int -> ST s (MtrNode s) Source #

mtrFindGroup :: MtrNode s -> Int -> Int -> ST s (MtrNode s) Source #

mtrDissolveGroup :: MtrNode s -> ST s () Source #

data MTRType Source #

Constructors

Mtrdefault 
Mtrterminal 
Mtrsoft 
Mtrfixed 
Mtrnewnode 

Instances