| Copyright | (c) Liam O'Reilly and Markus Roggenbach, Swansea University 2009 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | csliam@swansea.ac.uk |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | None |
CspCASL.SimplifySen
Description
Simplification of CspCASL sentences for output after analysis
- simplifySen :: CspCASLSign -> CspSen -> CspSen
Documentation
simplifySen :: CspCASLSign -> CspSen -> CspSen
Simplify a CspCASL sentence for before pretty printing, e.g., for "show theory". Typically this replaces fully quallified CASL by non fully qualified CASL so that it is readable.