8a77240a809197c92c0736c431b4b88947a7bac1Christian Maeder{- |

d9a45a35cd696085be1a038b2cc67bee6819c574cmaederModule : $Header$

8a77240a809197c92c0736c431b4b88947a7bac1Christian MaederDescription : symbol map analysis for the CASL logic.

adea2e45fa61f1097aadc490a0aeaf4831b729ccChristian MaederCopyright : (c) Till Mossakowski, C. Maeder and Uni Bremen 2002-2005

e9458b1a7a19a63aa4c179f9ab20f4d50681c168Jens ElknerLicense : similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt

09b431a868c79a92ae7c9bd141565f43f9034144Christian Maeder

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till MossakowskiMaintainer : Christian.Maeder@dfki.de

98890889ffb2e8f6f722b00e265a211f13b5a861Corneliu-Claudiu ProdescuStability : provisional

2eeec5240b424984e3ee26296da1eeab6c6d739eChristian MaederPortability : portable

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowski

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till MossakowskiSymbol map analysis for the CASL logic.

f3a94a197960e548ecd6520bb768cb0d547457bbChristian Maeder Follows Sect. III:4.1 of the CASL Reference Manual.

09b431a868c79a92ae7c9bd141565f43f9034144Christian Maeder-}

0095c7efbddd0ffeed6aaf8ec015346be161d819Till Mossakowski

adea2e45fa61f1097aadc490a0aeaf4831b729ccChristian Maedermodule CASL.SymbolMapAnalysis

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowski ( inducedFromMorphism

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowski , inducedFromToMorphism

09b431a868c79a92ae7c9bd141565f43f9034144Christian Maeder , inducedFromMorphismExt

09b431a868c79a92ae7c9bd141565f43f9034144Christian Maeder , inducedFromToMorphismExt

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroeder , cogeneratedSign

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowski , generatedSign

09b431a868c79a92ae7c9bd141565f43f9034144Christian Maeder , finalUnion

09b431a868c79a92ae7c9bd141565f43f9034144Christian Maeder ) where

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowski

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowskiimport CASL.Sign

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowskiimport CASL.AS_Basic_CASL

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowskiimport CASL.Morphism

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowskiimport CASL.Overload (leqF, leqP)

df11e5eab86d8247f58e301d8f0a2c6ecf4c9541Till Mossakowski

1a38107941725211e7c3f051f7a8f5e12199f03acmaederimport qualified Data.Map as Map

1a38107941725211e7c3f051f7a8f5e12199f03acmaederimport qualified Data.Set as Set

ad270004874ce1d0697fb30d7309f180553bb315Christian Maederimport qualified Common.Lib.Rel as Rel

1a38107941725211e7c3f051f7a8f5e12199f03acmaederimport Common.Doc

d9a45a35cd696085be1a038b2cc67bee6819c574cmaederimport Common.DocUtils

1a38107941725211e7c3f051f7a8f5e12199f03acmaederimport Common.ExtSign

09b431a868c79a92ae7c9bd141565f43f9034144Christian Maederimport Common.Id

java.lang.NullPointerException