Copyright	(c) Klaus Luettich Uni Bremen 2002-2004
License	GPLv2 or higher, see LICENSE.txt
Maintainer	Christian.Maeder@dfki.de
Stability	provisional
Portability	portable
Safe Haskell	None

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

data CASL2TopSort = CASL2TopSort

Documentation

data CASL2TopSort Source #

The identity of the comorphism

Constructors

CASL2TopSort

Instances

Instances details

Show CASL2TopSort Source #
Instance details Defined in Comorphisms.CASL2TopSort Methods showsPrec :: Int -> CASL2TopSort -> ShowS show :: CASL2TopSort -> String showList :: [CASL2TopSort] -> ShowS
Language CASL2TopSort Source #
Instance details Defined in Comorphisms.CASL2TopSort Methods language_name :: CASL2TopSort -> String Source # description :: CASL2TopSort -> String 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 #
Instance details Defined in Comorphisms.CASL2TopSort Methods sourceLogic :: CASL2TopSort -> CASL Source # sourceSublogic :: CASL2TopSort -> CASL_Sublogics Source # sourceSublogicLossy :: CASL2TopSort -> CASL_Sublogics Source # minSourceTheory :: CASL2TopSort -> Maybe (LibName, String) Source # targetLogic :: CASL2TopSort -> CASL Source # mapSublogic :: CASL2TopSort -> CASL_Sublogics -> Maybe CASL_Sublogics Source # map_theory :: CASL2TopSort -> (CASLSign, [Named CASLFORMULA]) -> Result (CASLSign, [Named CASLFORMULA]) Source # mapMarkedTheory :: CASL2TopSort -> (CASLSign, [Named CASLFORMULA]) -> Result (CASLSign, [Named CASLFORMULA]) Source # map_morphism :: CASL2TopSort -> CASLMor -> Result CASLMor Source # map_sentence :: CASL2TopSort -> CASLSign -> CASLFORMULA -> Result CASLFORMULA Source # map_symbol :: CASL2TopSort -> CASLSign -> Symbol -> Set Symbol Source # extractModel :: CASL2TopSort -> CASLSign -> ProofTree -> Result (CASLSign, [Named CASLFORMULA]) Source # is_model_transportable :: CASL2TopSort -> Bool Source # has_model_expansion :: CASL2TopSort -> Bool Source # is_weakly_amalgamable :: CASL2TopSort -> Bool Source # constituents :: CASL2TopSort -> [String] Source # isInclusionComorphism :: CASL2TopSort -> Bool Source # rps :: CASL2TopSort -> Bool Source # eps :: CASL2TopSort -> Bool Source # isGTC :: CASL2TopSort -> Bool Source #