Hets - the Heterogeneous Tool Set

Copyright(c) Heng Jiang C. Maeder Uni Bremen 2004-2005
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

CASL.SimplifySen

Description

Simplification of formulas and terms for output after analysis

Synopsis

Documentation

simplifyCASLSen :: (FormExtension f, TermExtension f) => Sign f e -> FORMULA f -> FORMULA f Source #

simplifies formula/term informations for 'show theory' of HETS-graph representation.

simplifySen Source #

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 Source #

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 Source #

simplifies the term and removes its type-information as far as the signature allows