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) Source #

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

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