Hets - the Heterogeneous Tool Set

Copyright(c) C. Maeder, DFKI Bremen 2008
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

VSE.Ana

Description

analysis of VSE logic extension of CASL

Synopsis

Documentation

aTrue :: TERM f

minExpForm :: Min Dlformula Procs

resolve overloading and type check terms and formulas

correctTarget :: Morphism f Procs VSEMorExt -> Morphism f Procs VSEMorExt

adjust procs map in morphism target signature