Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- type Cube v = Map v Bool
- primes :: Ord v => OBDD v -> [Cube v]
- nice :: Show v => Cube v -> String
- data Check
- sign :: Ord a => a -> OBDD (a, Check)
- occurs :: Ord a => a -> OBDD (a, Check)
- original :: Ord a => a -> OBDD (a, Check)
- process :: Ord k => Map (k, Check) Bool -> Map k Bool
- prime :: Ord v => OBDD v -> OBDD (v, Check)
- dnf :: Ord v => OBDD v -> [Cube v]
- cnf :: Ord k => OBDD k -> [Map k Bool]
- greed :: forall a b. (Ord b, Ord a) => Map a b -> [Set a] -> Set a
- clause :: Ord v => Map v Bool -> OBDD v