Hets - the Heterogeneous Tool Set

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

CASL.Monoton

Description

computing the monotonicities for functions and predicates in the overload relation

Documentation