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

Synopsis

simplifySen :: CspCASLSign -> CspSen -> CspSen

Documentation

simplifySen :: CspCASLSign -> CspSen -> CspSen Source #

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.