| Copyright | (c) Adrian Riesco Facultad de Informatica UCM 2009 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | ariesco@fdi.ucm.es |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | None |
CASL.Freeness
Description
Computation of the constraints needed for free definition links.
Synopsis
- quotientTermAlgebra :: CASLMor -> [Named CASLFORMULA] -> Result (CASLSign, [Named CASLFORMULA])
Documentation
quotientTermAlgebra :: CASLMor -> [Named CASLFORMULA] -> Result (CASLSign, [Named CASLFORMULA]) Source #
main function, in charge of computing the quotient term algebra