Copyright | (c) Christian Maeder, Uni Bremen 2005 |
---|---|

License | GPLv2 or higher, see LICENSE.txt |

Maintainer | Christian.Maeder@dfki.de |

Stability | provisional |

Portability | portable |

Safe Haskell | None |

Resolve empty conjunctions and other trivial cases

# Documentation

negateFormula :: FORMULA f -> Maybe (FORMULA f)

simplifyRecord :: Ord f => (f -> f) -> Record f (FORMULA f) (TERM f)

simplifyTerm :: Ord f => (f -> f) -> TERM f -> TERM f

simplifyFormula :: Ord f => (f -> f) -> FORMULA f -> FORMULA f