Methods

showsPrec :: Int -> ExtModal -> ShowS

show :: ExtModal -> String

showList :: [ExtModal] -> ShowS

Methods

language_name :: ExtModal -> String Source #

description :: ExtModal -> String Source #

Methods

map_sen :: ExtModal -> ExtModalMorph -> ExtModalFORMULA -> Result ExtModalFORMULA Source #

simplify_sen :: ExtModal -> ExtModalSign -> ExtModalFORMULA -> ExtModalFORMULA Source #

negation :: ExtModal -> ExtModalFORMULA -> Maybe ExtModalFORMULA Source #

print_sign :: ExtModal -> ExtModalSign -> Doc Source #

print_named :: ExtModal -> Named ExtModalFORMULA -> Doc Source #

sym_of :: ExtModal -> ExtModalSign -> [Set Symbol] Source #

mostSymsOf :: ExtModal -> ExtModalSign -> [Symbol] Source #

symmap_of :: ExtModal -> ExtModalMorph -> EndoMap Symbol Source #

sym_name :: ExtModal -> Symbol -> Id Source #

sym_label :: ExtModal -> Symbol -> Maybe String Source #

fullSymName :: ExtModal -> Symbol -> String Source #

symKind :: ExtModal -> Symbol -> String Source #

symsOfSen :: ExtModal -> ExtModalSign -> ExtModalFORMULA -> [Symbol] Source #

pair_symbols :: ExtModal -> Symbol -> Symbol -> Result Symbol Source #

Methods

parsersAndPrinters :: ExtModal -> Map String (PrefixMap -> AParser st EM_BASIC_SPEC, EM_BASIC_SPEC -> Doc) Source #

parse_basic_spec :: ExtModal -> Maybe (PrefixMap -> AParser st EM_BASIC_SPEC) Source #

parseSingleSymbItem :: ExtModal -> Maybe (PrefixMap -> AParser st SYMB_ITEMS) Source #

parse_symb_items :: ExtModal -> Maybe (PrefixMap -> AParser st SYMB_ITEMS) Source #

parse_symb_map_items :: ExtModal -> Maybe (PrefixMap -> AParser st SYMB_MAP_ITEMS) Source #

toItem :: ExtModal -> EM_BASIC_SPEC -> Item Source #

symb_items_name :: ExtModal -> SYMB_ITEMS -> [String] Source #

Methods

basic_analysis :: ExtModal -> Maybe ((EM_BASIC_SPEC, ExtModalSign, GlobalAnnos) -> Result (EM_BASIC_SPEC, ExtSign ExtModalSign Symbol, [Named ExtModalFORMULA])) Source #

sen_analysis :: ExtModal -> Maybe ((EM_BASIC_SPEC, ExtModalSign, ExtModalFORMULA) -> Result ExtModalFORMULA) Source #

extBasicAnalysis :: ExtModal -> IRI -> LibName -> EM_BASIC_SPEC -> ExtModalSign -> GlobalAnnos -> Result (EM_BASIC_SPEC, ExtSign ExtModalSign Symbol, [Named ExtModalFORMULA]) Source #

stat_symb_map_items :: ExtModal -> ExtModalSign -> Maybe ExtModalSign -> [SYMB_MAP_ITEMS] -> Result (EndoMap RawSymbol) Source #

stat_symb_items :: ExtModal -> ExtModalSign -> [SYMB_ITEMS] -> Result [RawSymbol] Source #

convertTheory :: ExtModal -> Maybe ((ExtModalSign, [Named ExtModalFORMULA]) -> EM_BASIC_SPEC) Source #

ensures_amalgamability :: ExtModal -> ([CASLAmalgOpt], Gr ExtModalSign (Int, ExtModalMorph), [(Int, ExtModalMorph)], Gr String String) -> Result Amalgamates Source #

quotient_term_algebra :: ExtModal -> ExtModalMorph -> [Named ExtModalFORMULA] -> Result (ExtModalSign, [Named ExtModalFORMULA]) Source #

signature_colimit :: ExtModal -> Gr ExtModalSign (Int, ExtModalMorph) -> Result (ExtModalSign, Map Int ExtModalMorph) Source #

qualify :: ExtModal -> SIMPLE_ID -> LibName -> ExtModalMorph -> ExtModalSign -> Result (ExtModalMorph, [Named ExtModalFORMULA]) Source #

symbol_to_raw :: ExtModal -> Symbol -> RawSymbol Source #

id_to_raw :: ExtModal -> Id -> RawSymbol Source #

matches :: ExtModal -> Symbol -> RawSymbol -> Bool Source #

empty_signature :: ExtModal -> ExtModalSign Source #

add_symb_to_sign :: ExtModal -> ExtModalSign -> Symbol -> Result ExtModalSign Source #

signature_union :: ExtModal -> ExtModalSign -> ExtModalSign -> Result ExtModalSign Source #

signatureDiff :: ExtModal -> ExtModalSign -> ExtModalSign -> Result ExtModalSign Source #

intersection :: ExtModal -> ExtModalSign -> ExtModalSign -> Result ExtModalSign Source #

final_union :: ExtModal -> ExtModalSign -> ExtModalSign -> Result ExtModalSign Source #

morphism_union :: ExtModal -> ExtModalMorph -> ExtModalMorph -> Result ExtModalMorph Source #

is_subsig :: ExtModal -> ExtModalSign -> ExtModalSign -> Bool Source #

subsig_inclusion :: ExtModal -> ExtModalSign -> ExtModalSign -> Result ExtModalMorph Source #

generated_sign :: ExtModal -> Set Symbol -> ExtModalSign -> Result ExtModalMorph Source #

cogenerated_sign :: ExtModal -> Set Symbol -> ExtModalSign -> Result ExtModalMorph Source #

induced_from_morphism :: ExtModal -> EndoMap RawSymbol -> ExtModalSign -> Result ExtModalMorph Source #

induced_from_to_morphism :: ExtModal -> EndoMap RawSymbol -> ExtSign ExtModalSign Symbol -> ExtSign ExtModalSign Symbol -> Result ExtModalMorph Source #

is_transportable :: ExtModal -> ExtModalMorph -> Bool Source #

is_injective :: ExtModal -> ExtModalMorph -> Bool Source #

theory_to_taxonomy :: ExtModal -> TaxoGraphKind -> MMiSSOntology -> ExtModalSign -> [Named ExtModalFORMULA] -> Result MMiSSOntology Source #

corresp2th :: ExtModal -> String -> Bool -> ExtModalSign -> ExtModalSign -> [SYMB_ITEMS] -> [SYMB_ITEMS] -> EndoMap Symbol -> EndoMap Symbol -> REL_REF -> Result (ExtModalSign, [Named ExtModalFORMULA], ExtModalSign, ExtModalSign, EndoMap Symbol, EndoMap Symbol) Source #

equiv2cospan :: ExtModal -> ExtModalSign -> ExtModalSign -> [SYMB_ITEMS] -> [SYMB_ITEMS] -> Result (ExtModalSign, ExtModalSign, ExtModalSign, EndoMap Symbol, EndoMap Symbol) Source #

extract_module :: ExtModal -> [IRI] -> (ExtModalSign, [Named ExtModalFORMULA]) -> Result (ExtModalSign, [Named ExtModalFORMULA]) Source #

Methods

parse_basic_sen :: ExtModal -> Maybe (EM_BASIC_SPEC -> AParser st ExtModalFORMULA) Source #

stability :: ExtModal -> Stability Source #

data_logic :: ExtModal -> Maybe AnyLogic Source #

top_sublogic :: ExtModal -> ExtModalSL Source #

all_sublogics :: ExtModal -> [ExtModalSL] Source #

bottomSublogic :: ExtModal -> Maybe ExtModalSL Source #

sublogicDimensions :: ExtModal -> [[ExtModalSL]] Source #

parseSublogic :: ExtModal -> String -> Maybe ExtModalSL Source #

proj_sublogic_epsilon :: ExtModal -> ExtModalSL -> ExtModalSign -> ExtModalMorph Source #

provers :: ExtModal -> [Prover ExtModalSign ExtModalFORMULA ExtModalMorph ExtModalSL ()] Source #

default_prover :: ExtModal -> String Source #

cons_checkers :: ExtModal -> [ConsChecker ExtModalSign ExtModalFORMULA ExtModalSL ExtModalMorph ()] Source #

conservativityCheck :: ExtModal -> [ConservativityChecker ExtModalSign ExtModalFORMULA ExtModalMorph] Source #

empty_proof_tree :: ExtModal -> () Source #

syntaxTable :: ExtModal -> ExtModalSign -> Maybe SyntaxTable Source #

omdoc_metatheory :: ExtModal -> Maybe OMCD Source #

export_symToOmdoc :: ExtModal -> NameMap Symbol -> Symbol -> String -> Result TCElement Source #

export_senToOmdoc :: ExtModal -> NameMap Symbol -> ExtModalFORMULA -> Result TCorOMElement Source #

export_theoryToOmdoc :: ExtModal -> SigMap Symbol -> ExtModalSign -> [Named ExtModalFORMULA] -> Result [TCElement] Source #

omdocToSym :: ExtModal -> SigMapI Symbol -> TCElement -> String -> Result Symbol Source #

omdocToSen :: ExtModal -> SigMapI Symbol -> TCElement -> String -> Result (Maybe (Named ExtModalFORMULA)) Source #

addOMadtToTheory :: ExtModal -> SigMapI Symbol -> (ExtModalSign, [Named ExtModalFORMULA]) -> [[OmdADT]] -> Result (ExtModalSign, [Named ExtModalFORMULA]) Source #

addOmdocToTheory :: ExtModal -> SigMapI Symbol -> (ExtModalSign, [Named ExtModalFORMULA]) -> [TCElement] -> Result (ExtModalSign, [Named ExtModalFORMULA]) Source #

sublogicOfTheo :: ExtModal -> (ExtModalSign, [ExtModalFORMULA]) -> ExtModalSL Source #

Methods

sourceLogic :: ExtModal2OWL -> ExtModal Source #

sourceSublogic :: ExtModal2OWL -> ExtModalSL Source #

sourceSublogicLossy :: ExtModal2OWL -> ExtModalSL Source #

minSourceTheory :: ExtModal2OWL -> Maybe (LibName, String) Source #

targetLogic :: ExtModal2OWL -> OWL2 Source #

mapSublogic :: ExtModal2OWL -> ExtModalSL -> Maybe ProfSub Source #

map_theory :: ExtModal2OWL -> (ExtModalSign, [Named ExtModalFORMULA]) -> Result (Sign, [Named Axiom]) Source #

mapMarkedTheory :: ExtModal2OWL -> (ExtModalSign, [Named ExtModalFORMULA]) -> Result (Sign, [Named Axiom]) Source #

map_morphism :: ExtModal2OWL -> ExtModalMorph -> Result OWLMorphism Source #

map_sentence :: ExtModal2OWL -> ExtModalSign -> ExtModalFORMULA -> Result Axiom Source #

map_symbol :: ExtModal2OWL -> ExtModalSign -> Symbol -> Set Entity Source #

extractModel :: ExtModal2OWL -> ExtModalSign -> ProofTree -> Result (ExtModalSign, [Named ExtModalFORMULA]) Source #

is_model_transportable :: ExtModal2OWL -> Bool Source #

has_model_expansion :: ExtModal2OWL -> Bool Source #

is_weakly_amalgamable :: ExtModal2OWL -> Bool Source #

constituents :: ExtModal2OWL -> [String] Source #

isInclusionComorphism :: ExtModal2OWL -> Bool Source #

rps :: ExtModal2OWL -> Bool Source #

eps :: ExtModal2OWL -> Bool Source #

isGTC :: ExtModal2OWL -> Bool Source #

Methods

sourceLogic :: ExtModal2CASL -> ExtModal Source #

sourceSublogic :: ExtModal2CASL -> ExtModalSL Source #

sourceSublogicLossy :: ExtModal2CASL -> ExtModalSL Source #

minSourceTheory :: ExtModal2CASL -> Maybe (LibName, String) Source #

targetLogic :: ExtModal2CASL -> CASL Source #

mapSublogic :: ExtModal2CASL -> ExtModalSL -> Maybe CASL_Sublogics Source #

map_theory :: ExtModal2CASL -> (ExtModalSign, [Named ExtModalFORMULA]) -> Result (CASLSign, [Named CASLFORMULA]) Source #

mapMarkedTheory :: ExtModal2CASL -> (ExtModalSign, [Named ExtModalFORMULA]) -> Result (CASLSign, [Named CASLFORMULA]) Source #

map_morphism :: ExtModal2CASL -> ExtModalMorph -> Result CASLMor Source #

map_sentence :: ExtModal2CASL -> ExtModalSign -> ExtModalFORMULA -> Result CASLFORMULA Source #

map_symbol :: ExtModal2CASL -> ExtModalSign -> Symbol -> Set Symbol Source #

extractModel :: ExtModal2CASL -> ExtModalSign -> ProofTree -> Result (ExtModalSign, [Named ExtModalFORMULA]) Source #

is_model_transportable :: ExtModal2CASL -> Bool Source #

has_model_expansion :: ExtModal2CASL -> Bool Source #

is_weakly_amalgamable :: ExtModal2CASL -> Bool Source #

constituents :: ExtModal2CASL -> [String] Source #

isInclusionComorphism :: ExtModal2CASL -> Bool Source #

rps :: ExtModal2CASL -> Bool Source #

eps :: ExtModal2CASL -> Bool Source #

isGTC :: ExtModal2CASL -> Bool Source #

Methods

sourceLogic :: ExtModal2ExtModalTotal -> ExtModal Source #

sourceSublogic :: ExtModal2ExtModalTotal -> ExtModalSL Source #

sourceSublogicLossy :: ExtModal2ExtModalTotal -> ExtModalSL Source #

minSourceTheory :: ExtModal2ExtModalTotal -> Maybe (LibName, String) Source #

targetLogic :: ExtModal2ExtModalTotal -> ExtModal Source #

mapSublogic :: ExtModal2ExtModalTotal -> ExtModalSL -> Maybe ExtModalSL Source #

map_theory :: ExtModal2ExtModalTotal -> (ExtModalSign, [Named ExtModalFORMULA]) -> Result (ExtModalSign, [Named ExtModalFORMULA]) Source #

mapMarkedTheory :: ExtModal2ExtModalTotal -> (ExtModalSign, [Named ExtModalFORMULA]) -> Result (ExtModalSign, [Named ExtModalFORMULA]) Source #

map_morphism :: ExtModal2ExtModalTotal -> ExtModalMorph -> Result ExtModalMorph Source #

map_sentence :: ExtModal2ExtModalTotal -> ExtModalSign -> ExtModalFORMULA -> Result ExtModalFORMULA Source #

map_symbol :: ExtModal2ExtModalTotal -> ExtModalSign -> Symbol -> Set Symbol Source #

extractModel :: ExtModal2ExtModalTotal -> ExtModalSign -> () -> Result (ExtModalSign, [Named ExtModalFORMULA]) Source #

is_model_transportable :: ExtModal2ExtModalTotal -> Bool Source #

has_model_expansion :: ExtModal2ExtModalTotal -> Bool Source #

is_weakly_amalgamable :: ExtModal2ExtModalTotal -> Bool Source #

constituents :: ExtModal2ExtModalTotal -> [String] Source #

isInclusionComorphism :: ExtModal2ExtModalTotal -> Bool Source #

rps :: ExtModal2ExtModalTotal -> Bool Source #

eps :: ExtModal2ExtModalTotal -> Bool Source #

isGTC :: ExtModal2ExtModalTotal -> Bool Source #

Methods

sourceLogic :: ExtModal2ExtModalNoSubsorts -> ExtModal Source #

sourceSublogic :: ExtModal2ExtModalNoSubsorts -> ExtModalSL Source #

sourceSublogicLossy :: ExtModal2ExtModalNoSubsorts -> ExtModalSL Source #

minSourceTheory :: ExtModal2ExtModalNoSubsorts -> Maybe (LibName, String) Source #

targetLogic :: ExtModal2ExtModalNoSubsorts -> ExtModal Source #

mapSublogic :: ExtModal2ExtModalNoSubsorts -> ExtModalSL -> Maybe ExtModalSL Source #

map_theory :: ExtModal2ExtModalNoSubsorts -> (ExtModalSign, [Named ExtModalFORMULA]) -> Result (ExtModalSign, [Named ExtModalFORMULA]) Source #

mapMarkedTheory :: ExtModal2ExtModalNoSubsorts -> (ExtModalSign, [Named ExtModalFORMULA]) -> Result (ExtModalSign, [Named ExtModalFORMULA]) Source #

map_morphism :: ExtModal2ExtModalNoSubsorts -> ExtModalMorph -> Result ExtModalMorph Source #

map_sentence :: ExtModal2ExtModalNoSubsorts -> ExtModalSign -> ExtModalFORMULA -> Result ExtModalFORMULA Source #

map_symbol :: ExtModal2ExtModalNoSubsorts -> ExtModalSign -> Symbol -> Set Symbol Source #

extractModel :: ExtModal2ExtModalNoSubsorts -> ExtModalSign -> () -> Result (ExtModalSign, [Named ExtModalFORMULA]) Source #

is_model_transportable :: ExtModal2ExtModalNoSubsorts -> Bool Source #

has_model_expansion :: ExtModal2ExtModalNoSubsorts -> Bool Source #

is_weakly_amalgamable :: ExtModal2ExtModalNoSubsorts -> Bool Source #

constituents :: ExtModal2ExtModalNoSubsorts -> [String] Source #

isInclusionComorphism :: ExtModal2ExtModalNoSubsorts -> Bool Source #

rps :: ExtModal2ExtModalNoSubsorts -> Bool Source #

eps :: ExtModal2ExtModalNoSubsorts -> Bool Source #

isGTC :: ExtModal2ExtModalNoSubsorts -> Bool Source #

Methods

sourceLogic :: ExtModal2HasCASL -> ExtModal Source #

sourceSublogic :: ExtModal2HasCASL -> ExtModalSL Source #

sourceSublogicLossy :: ExtModal2HasCASL -> ExtModalSL Source #

minSourceTheory :: ExtModal2HasCASL -> Maybe (LibName, String) Source #

targetLogic :: ExtModal2HasCASL -> HasCASL Source #

mapSublogic :: ExtModal2HasCASL -> ExtModalSL -> Maybe Sublogic Source #

map_theory :: ExtModal2HasCASL -> (ExtModalSign, [Named ExtModalFORMULA]) -> Result (Env, [Named Sentence]) Source #

mapMarkedTheory :: ExtModal2HasCASL -> (ExtModalSign, [Named ExtModalFORMULA]) -> Result (Env, [Named Sentence]) Source #

map_morphism :: ExtModal2HasCASL -> ExtModalMorph -> Result Morphism Source #

map_sentence :: ExtModal2HasCASL -> ExtModalSign -> ExtModalFORMULA -> Result Sentence Source #

map_symbol :: ExtModal2HasCASL -> ExtModalSign -> Symbol0 -> Set Symbol Source #

extractModel :: ExtModal2HasCASL -> ExtModalSign -> () -> Result (ExtModalSign, [Named ExtModalFORMULA]) Source #

is_model_transportable :: ExtModal2HasCASL -> Bool Source #

has_model_expansion :: ExtModal2HasCASL -> Bool Source #

is_weakly_amalgamable :: ExtModal2HasCASL -> Bool Source #

constituents :: ExtModal2HasCASL -> [String] Source #

isInclusionComorphism :: ExtModal2HasCASL -> Bool Source #

rps :: ExtModal2HasCASL -> Bool Source #

eps :: ExtModal2HasCASL -> Bool Source #

isGTC :: ExtModal2HasCASL -> Bool Source #

Methods

sourceLogic :: CASL2ExtModal -> CASL Source #

sourceSublogic :: CASL2ExtModal -> CASL_Sublogics Source #

sourceSublogicLossy :: CASL2ExtModal -> CASL_Sublogics Source #

minSourceTheory :: CASL2ExtModal -> Maybe (LibName, String) Source #

targetLogic :: CASL2ExtModal -> ExtModal Source #

mapSublogic :: CASL2ExtModal -> CASL_Sublogics -> Maybe ExtModalSL Source #

map_theory :: CASL2ExtModal -> (CASLSign, [Named CASLFORMULA]) -> Result (ExtModalSign, [Named ExtModalFORMULA]) Source #

mapMarkedTheory :: CASL2ExtModal -> (CASLSign, [Named CASLFORMULA]) -> Result (ExtModalSign, [Named ExtModalFORMULA]) Source #

map_morphism :: CASL2ExtModal -> CASLMor -> Result ExtModalMorph Source #

map_sentence :: CASL2ExtModal -> CASLSign -> CASLFORMULA -> Result ExtModalFORMULA Source #

map_symbol :: CASL2ExtModal -> CASLSign -> Symbol -> Set Symbol Source #

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

is_model_transportable :: CASL2ExtModal -> Bool Source #

has_model_expansion :: CASL2ExtModal -> Bool Source #

is_weakly_amalgamable :: CASL2ExtModal -> Bool Source #

constituents :: CASL2ExtModal -> [String] Source #

isInclusionComorphism :: CASL2ExtModal -> Bool Source #

rps :: CASL2ExtModal -> Bool Source #

eps :: CASL2ExtModal -> Bool Source #

isGTC :: CASL2ExtModal -> Bool Source #