| Copyright | Galois Inc. 2016 |
|---|---|
| License | BSD3 |
| Maintainer | [email protected] |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
Data.RME.Base
Description
Reed-Muller Expansion normal form for Boolean Formulas.
Synopsis
- data RME
- true :: RME
- false :: RME
- lit :: Int -> RME
- constant :: Bool -> RME
- isBool :: RME -> Maybe Bool
- compl :: RME -> RME
- xor :: RME -> RME -> RME
- conj :: RME -> RME -> RME
- disj :: RME -> RME -> RME
- iff :: RME -> RME -> RME
- mux :: RME -> RME -> RME -> RME
- eval :: RME -> (Int -> Bool) -> Bool
- sat :: RME -> Maybe [(Int, Bool)]
- allsat :: RME -> [[(Int, Bool)]]
- degree :: RME -> Int
- depth :: RME -> Int
- size :: RME -> Int
- explode :: RME -> [[Int]]
Documentation
Boolean formulas in Algebraic Normal Form, using a representation based on the Reed-Muller expansion.