Hets - the Heterogeneous Tool Set

Copyright(c) Andy Gimblett Swansea University 2007
LicenseGPLv2 or higher, see LICENSE.txt
Maintainera.m.gimblett@swan.ac.uk
Stabilityprovisional
Portabilityportable
Safe HaskellSafe

CspCASL.LocalTop

Description

Analysis of relations for presence of local top elements. Used by CspCASL static analysis.

Synopsis

Documentation

checkLocalTops :: Rel SORT -> [Diagnosis] Source #

This is the main interface for the LTE check. Check a CspCASL signature (actually just the sort relation) for local top elements in its subsort relation. Returns empty list for sucess or a list of diags for failure where diags is a list of diagnostic errors resulting from the check.

cartesian :: Ord a => Set a -> Set (a, a) Source #

Cartesian product of a set.