Copyright | (c) Heng Jiang, C. Maeder, Uni Bremen 2004-2005 |
---|---|

License | GPLv2 or higher, see LICENSE.txt |

Maintainer | Christian.Maeder@dfki.de |

Stability | provisional |

Portability | portable |

Safe Haskell | None |

Simplification of formulas and terms for output after analysis

- simplifyCASLSen :: (FormExtension f, TermExtension f) => Sign f e -> FORMULA f -> FORMULA f
- simplifyCASLTerm :: (FormExtension f, TermExtension f) => Sign f e -> TERM f -> TERM f
- simplifySen :: (FormExtension f, TermExtension f) => Min f e -> (Sign f e -> f -> f) -> Sign f e -> FORMULA f -> FORMULA f
- simplifyTerm :: (FormExtension f, TermExtension f) => Min f e -> (Sign f e -> f -> f) -> Sign f e -> TERM f -> TERM f
- rmTypesT :: (FormExtension f, TermExtension f) => Min f e -> (Sign f e -> f -> f) -> Sign f e -> TERM f -> TERM f

# Documentation

simplifyCASLSen :: (FormExtension f, TermExtension f) => Sign f e -> FORMULA f -> FORMULA f

simplifies formula/term informations for 'show theory' of HETS-graph representation.

simplifyCASLTerm :: (FormExtension f, TermExtension f) => Sign f e -> TERM f -> TERM f

:: (FormExtension f, TermExtension f) | |

=> Min f e | extension type analysis |

-> (Sign f e -> f -> f) | simplifySen for ExtFORMULA |

-> Sign f e | |

-> FORMULA f | |

-> FORMULA f |

simplifyTerm :: (FormExtension f, TermExtension f) => Min f e -> (Sign f e -> f -> f) -> Sign f e -> TERM f -> TERM f

simplify the TERM and keep its typing information if it had one

rmTypesT :: (FormExtension f, TermExtension f) => Min f e -> (Sign f e -> f -> f) -> Sign f e -> TERM f -> TERM f

simplifies the term and removes its type-information as far as the signature allows