Cudd.MTR

Documentation

newtype MtrNode s

Constructors

MtrNode (Ptr CMtrNode)

data CMtrNode

mtrAllocNode :: ST s (MtrNode s)

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

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

mtrDeallocNode :: MtrNode s -> ST s ()

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

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

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

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

mtrPrintTree :: MtrNode s -> ST s ()

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

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

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

mtrDissolveGroup :: MtrNode s -> ST s ()

data MTRType

Constructors

Mtrdefault

Mtrterminal

Mtrsoft

Mtrfixed

Mtrnewnode

Instances

Enum MTRType

Methods

succ :: MTRType -> MTRType

pred :: MTRType -> MTRType

toEnum :: Int -> MTRType

fromEnum :: MTRType -> Int

enumFrom :: MTRType -> [MTRType]

enumFromThen :: MTRType -> MTRType -> [MTRType]

enumFromTo :: MTRType -> MTRType -> [MTRType]

enumFromThenTo :: MTRType -> MTRType -> MTRType -> [MTRType]

Eq MTRType

Methods

(==) :: MTRType -> MTRType -> Bool

(/=) :: MTRType -> MTRType -> Bool

Show MTRType

Methods

showsPrec :: Int -> MTRType -> ShowS

show :: MTRType -> String

showList :: [MTRType] -> ShowS