cudd-0.1.0.0: 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