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 |
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.