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.CASL2NNF

Description

Documentation

data CASL2NNF Source #

Constructors

CASL2NNF

Instances

Instances details

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

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

negationNormalForm :: CASLFORMULA -> CASLFORMULA Source #