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