Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
removeEquiv :: Form -> M [Form] Source
removeExists :: Form -> M Form Source
removeExpensiveOr :: Form -> M [Form] Source
simplifyCNF :: [[Literal]] -> [[Literal]] Source
Safe Haskell | None |
---|---|
Language | Haskell98 |
removeEquiv :: Form -> M [Form] Source
removeExists :: Form -> M Form Source
removeExpensiveOr :: Form -> M [Form] Source
simplifyCNF :: [[Literal]] -> [[Literal]] Source