Safe Haskell | None |
---|---|
Language | Haskell98 |
- type Cube v = Map v Bool
- primes :: Ord v => OBDD v -> [Cube v]
- nice :: Show v => Cube v -> String
- data Check
- sign :: Ord t => t -> OBDD (t, Check)
- occurs :: Ord t => t -> OBDD (t, Check)
- original :: Ord t => t -> OBDD (t, 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 :: (Ord t, Ord a) => Map a t -> [Set a] -> Set a
- clause :: Ord v => Map v Bool -> OBDD v