Hets - the Heterogeneous Tool Set

Copyright(c) Adrian Riesco, Facultad de Informatica UCM 2009
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerariesco@fdi.ucm.es
Stabilityexperimental
Portabilityportable
Safe HaskellNone

CASL.Freeness

Description

Computation of the constraints needed for free definition links.

Synopsis

Documentation

quotientTermAlgebra :: CASLMor -> [Named CASLFORMULA] -> Result (CASLSign, [Named CASLFORMULA])

main function, in charge of computing the quotient term algebra