Hets - the Heterogeneous Tool Set

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

Comorphisms.CASL2TopSort

Description

Coding out subsorting into unary predicates. New concept for proving Ontologies.

generatedness via non-injective datatype constructors (i.e. proper data constructors) is simply ignored

total functions my become partial because i.e. division is total for a second non-zero argument but partial otherwise.

partial functions remain partial unless they fall to together with an overloaded total function

Synopsis

Documentation

data CASL2TopSort Source #

The identity of the comorphism

Constructors

CASL2TopSort 

Instances

Show CASL2TopSort Source # 

Methods

showsPrec :: Int -> CASL2TopSort -> ShowS

show :: CASL2TopSort -> String

showList :: [CASL2TopSort] -> ShowS

Language CASL2TopSort Source # 
Comorphism CASL2TopSort CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree Source #