| 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 |
CASL.SimplifySen
Description
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
Arguments
| :: (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