Hets - the Heterogeneous Tool Set

Copyright(c) Liam O'Reilly and Markus Roggenbach, Swansea University 2009
LicenseGPLv2 or higher, see LICENSE.txt
Maintainercsliam@swansea.ac.uk
Stabilityprovisional
Portabilityportable
Safe HaskellNone

CspCASL.SimplifySen

Description

Simplification of CspCASL sentences for output after analysis

Synopsis

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.