Copyright	(c) Mihai Codescu 2016
License	GPLv2 or higher, see LICENSE.txt
Maintainer	codescu@iws.cs.uni-magdeburg.de
Stability	provisional
Portability	non-portable (imports Logic.Comorphism)
Safe Haskell	None

Comorphisms.CASL2Prenex

Description

Documentation

data CASL2Prenex Source #

Constructors

CASL2Prenex

Instances

Instances details

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

preprocessSen :: CASLFORMULA -> CASLFORMULA Source #

mkDistVars :: CASLFORMULA -> CASLFORMULA Source #

mkDistVarsAux :: Int -> [(VAR, SORT)] -> CASLFORMULA -> (Int, [(VAR, SORT)], CASLFORMULA) Source #

computePNF :: CASLFORMULA -> CASLFORMULA Source #

mapSentence :: CASLSign -> CASLFORMULA -> CASLFORMULA Source #

mapTheory :: (CASLSign, [Named CASLFORMULA]) -> Result (CASLSign, [Named CASLFORMULA]) Source #