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

Contents

Description

analysis of VSE logic extension of CASL

Synopsis

Documentation

minExpForm :: Min Dlformula Procs Source #

resolve overloading and type check terms and formulas

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

adjust procs map in morphism target signature

extVSEColimit :: Gr Procs (Int, VSEMorExt) -> Map Int VSEMor -> (Procs, Map Int VSEMorExt) Source #

Orphan instances