Hets - the Heterogeneous Tool Set

CopyrightDominik Luecke Uni Bremen 2008
LicenseGPLv2 or higher, see LICENSE.txt or LIZENZ.txt
Maintainerluecke@informatik.uni-bremen.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

RelationalScheme.AS

Description

Abstract syntax for Relational Schemes

Synopsis

Documentation

data RSRelType Source #

Instances

Eq RSRelType Source # 

Methods

(==) :: RSRelType -> RSRelType -> Bool

(/=) :: RSRelType -> RSRelType -> Bool

Data RSRelType Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> RSRelType -> c RSRelType

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c RSRelType

toConstr :: RSRelType -> Constr

dataTypeOf :: RSRelType -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c RSRelType)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c RSRelType)

gmapT :: (forall b. Data b => b -> b) -> RSRelType -> RSRelType

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RSRelType -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RSRelType -> r

gmapQ :: (forall d. Data d => d -> u) -> RSRelType -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> RSRelType -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> RSRelType -> m RSRelType

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> RSRelType -> m RSRelType

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> RSRelType -> m RSRelType

Ord RSRelType Source # 

Methods

compare :: RSRelType -> RSRelType -> Ordering

(<) :: RSRelType -> RSRelType -> Bool

(<=) :: RSRelType -> RSRelType -> Bool

(>) :: RSRelType -> RSRelType -> Bool

(>=) :: RSRelType -> RSRelType -> Bool

max :: RSRelType -> RSRelType -> RSRelType

min :: RSRelType -> RSRelType -> RSRelType

Show RSRelType Source # 

Methods

showsPrec :: Int -> RSRelType -> ShowS

show :: RSRelType -> String

showList :: [RSRelType] -> ShowS

GetRange RSRelType Source # 

data RSQualId Source #

Constructors

RSQualId 

Fields

Instances

Eq RSQualId Source # 

Methods

(==) :: RSQualId -> RSQualId -> Bool

(/=) :: RSQualId -> RSQualId -> Bool

Data RSQualId Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> RSQualId -> c RSQualId

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c RSQualId

toConstr :: RSQualId -> Constr

dataTypeOf :: RSQualId -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c RSQualId)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c RSQualId)

gmapT :: (forall b. Data b => b -> b) -> RSQualId -> RSQualId

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RSQualId -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RSQualId -> r

gmapQ :: (forall d. Data d => d -> u) -> RSQualId -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> RSQualId -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> RSQualId -> m RSQualId

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> RSQualId -> m RSQualId

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> RSQualId -> m RSQualId

Ord RSQualId Source # 

Methods

compare :: RSQualId -> RSQualId -> Ordering

(<) :: RSQualId -> RSQualId -> Bool

(<=) :: RSQualId -> RSQualId -> Bool

(>) :: RSQualId -> RSQualId -> Bool

(>=) :: RSQualId -> RSQualId -> Bool

max :: RSQualId -> RSQualId -> RSQualId

min :: RSQualId -> RSQualId -> RSQualId

Show RSQualId Source # 

Methods

showsPrec :: Int -> RSQualId -> ShowS

show :: RSQualId -> String

showList :: [RSQualId] -> ShowS

GetRange RSQualId Source # 
Pretty RSQualId Source # 

data RSRel Source #

Constructors

RSRel 

Fields

Instances

Eq RSRel Source # 

Methods

(==) :: RSRel -> RSRel -> Bool

(/=) :: RSRel -> RSRel -> Bool

Data RSRel Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> RSRel -> c RSRel

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c RSRel

toConstr :: RSRel -> Constr

dataTypeOf :: RSRel -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c RSRel)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c RSRel)

gmapT :: (forall b. Data b => b -> b) -> RSRel -> RSRel

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RSRel -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RSRel -> r

gmapQ :: (forall d. Data d => d -> u) -> RSRel -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> RSRel -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> RSRel -> m RSRel

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> RSRel -> m RSRel

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> RSRel -> m RSRel

Ord RSRel Source # 

Methods

compare :: RSRel -> RSRel -> Ordering

(<) :: RSRel -> RSRel -> Bool

(<=) :: RSRel -> RSRel -> Bool

(>) :: RSRel -> RSRel -> Bool

(>=) :: RSRel -> RSRel -> Bool

max :: RSRel -> RSRel -> RSRel

min :: RSRel -> RSRel -> RSRel

Show RSRel Source # 

Methods

showsPrec :: Int -> RSRel -> ShowS

show :: RSRel -> String

showList :: [RSRel] -> ShowS

GetRange RSRel Source # 
Pretty RSRel Source # 
Sentences RelScheme Sentence Sign RSMorphism RSSymbol Source #

Instance of Sentences for Rel

StaticAnalysis RelScheme RSScheme Sentence () () Sign RSMorphism RSSymbol RSRawSymbol Source #

Static Analysis for Rel

Methods

basic_analysis :: RelScheme -> Maybe ((RSScheme, Sign, GlobalAnnos) -> Result (RSScheme, ExtSign Sign RSSymbol, [Named Sentence])) Source #

sen_analysis :: RelScheme -> Maybe ((RSScheme, Sign, Sentence) -> Result Sentence) Source #

extBasicAnalysis :: RelScheme -> IRI -> LibName -> RSScheme -> Sign -> GlobalAnnos -> Result (RSScheme, ExtSign Sign RSSymbol, [Named Sentence]) Source #

stat_symb_map_items :: RelScheme -> Sign -> Maybe Sign -> [()] -> Result (EndoMap RSRawSymbol) Source #

stat_symb_items :: RelScheme -> Sign -> [()] -> Result [RSRawSymbol] Source #

convertTheory :: RelScheme -> Maybe ((Sign, [Named Sentence]) -> RSScheme) Source #

ensures_amalgamability :: RelScheme -> ([CASLAmalgOpt], Gr Sign (Int, RSMorphism), [(Int, RSMorphism)], Gr String String) -> Result Amalgamates Source #

quotient_term_algebra :: RelScheme -> RSMorphism -> [Named Sentence] -> Result (Sign, [Named Sentence]) Source #

signature_colimit :: RelScheme -> Gr Sign (Int, RSMorphism) -> Result (Sign, Map Int RSMorphism) Source #

qualify :: RelScheme -> SIMPLE_ID -> LibName -> RSMorphism -> Sign -> Result (RSMorphism, [Named Sentence]) Source #

symbol_to_raw :: RelScheme -> RSSymbol -> RSRawSymbol Source #

id_to_raw :: RelScheme -> Id -> RSRawSymbol Source #

matches :: RelScheme -> RSSymbol -> RSRawSymbol -> Bool Source #

empty_signature :: RelScheme -> Sign Source #

add_symb_to_sign :: RelScheme -> Sign -> RSSymbol -> Result Sign Source #

signature_union :: RelScheme -> Sign -> Sign -> Result Sign Source #

signatureDiff :: RelScheme -> Sign -> Sign -> Result Sign Source #

intersection :: RelScheme -> Sign -> Sign -> Result Sign Source #

final_union :: RelScheme -> Sign -> Sign -> Result Sign Source #

morphism_union :: RelScheme -> RSMorphism -> RSMorphism -> Result RSMorphism Source #

is_subsig :: RelScheme -> Sign -> Sign -> Bool Source #

subsig_inclusion :: RelScheme -> Sign -> Sign -> Result RSMorphism Source #

generated_sign :: RelScheme -> Set RSSymbol -> Sign -> Result RSMorphism Source #

cogenerated_sign :: RelScheme -> Set RSSymbol -> Sign -> Result RSMorphism Source #

induced_from_morphism :: RelScheme -> EndoMap RSRawSymbol -> Sign -> Result RSMorphism Source #

induced_from_to_morphism :: RelScheme -> EndoMap RSRawSymbol -> ExtSign Sign RSSymbol -> ExtSign Sign RSSymbol -> Result RSMorphism Source #

is_transportable :: RelScheme -> RSMorphism -> Bool Source #

is_injective :: RelScheme -> RSMorphism -> Bool Source #

theory_to_taxonomy :: RelScheme -> TaxoGraphKind -> MMiSSOntology -> Sign -> [Named Sentence] -> Result MMiSSOntology Source #

corresp2th :: RelScheme -> String -> Bool -> Sign -> Sign -> [()] -> [()] -> EndoMap RSSymbol -> EndoMap RSSymbol -> REL_REF -> Result (Sign, [Named Sentence], Sign, Sign, EndoMap RSSymbol, EndoMap RSSymbol) Source #

equiv2cospan :: RelScheme -> Sign -> Sign -> [()] -> [()] -> Result (Sign, Sign, Sign, EndoMap RSSymbol, EndoMap RSSymbol) Source #

extract_module :: RelScheme -> [IRI] -> (Sign, [Named Sentence]) -> Result (Sign, [Named Sentence]) Source #

Logic RelScheme () RSScheme Sentence () () Sign RSMorphism RSSymbol RSRawSymbol () Source #

Instance of Logic for Relational Schemes

Methods

parse_basic_sen :: RelScheme -> Maybe (RSScheme -> AParser st Sentence) Source #

stability :: RelScheme -> Stability Source #

data_logic :: RelScheme -> Maybe AnyLogic Source #

top_sublogic :: RelScheme -> () Source #

all_sublogics :: RelScheme -> [()] Source #

bottomSublogic :: RelScheme -> Maybe () Source #

sublogicDimensions :: RelScheme -> [[()]] Source #

parseSublogic :: RelScheme -> String -> Maybe () Source #

proj_sublogic_epsilon :: RelScheme -> () -> Sign -> RSMorphism Source #

provers :: RelScheme -> [Prover Sign Sentence RSMorphism () ()] Source #

default_prover :: RelScheme -> String Source #

cons_checkers :: RelScheme -> [ConsChecker Sign Sentence () RSMorphism ()] Source #

conservativityCheck :: RelScheme -> [ConservativityChecker Sign Sentence RSMorphism] Source #

empty_proof_tree :: RelScheme -> () Source #

syntaxTable :: RelScheme -> Sign -> Maybe SyntaxTable Source #

omdoc_metatheory :: RelScheme -> Maybe OMCD Source #

export_symToOmdoc :: RelScheme -> NameMap RSSymbol -> RSSymbol -> String -> Result TCElement Source #

export_senToOmdoc :: RelScheme -> NameMap RSSymbol -> Sentence -> Result TCorOMElement Source #

export_theoryToOmdoc :: RelScheme -> SigMap RSSymbol -> Sign -> [Named Sentence] -> Result [TCElement] Source #

omdocToSym :: RelScheme -> SigMapI RSSymbol -> TCElement -> String -> Result RSSymbol Source #

omdocToSen :: RelScheme -> SigMapI RSSymbol -> TCElement -> String -> Result (Maybe (Named Sentence)) Source #

addOMadtToTheory :: RelScheme -> SigMapI RSSymbol -> (Sign, [Named Sentence]) -> [[OmdADT]] -> Result (Sign, [Named Sentence]) Source #

addOmdocToTheory :: RelScheme -> SigMapI RSSymbol -> (Sign, [Named Sentence]) -> [TCElement] -> Result (Sign, [Named Sentence]) Source #

Comorphism RelScheme2CASL RelScheme () RSScheme Sentence () () Sign RSMorphism RSSymbol RSRawSymbol () CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree Source # 

data RSRelationships Source #

Instances

Eq RSRelationships Source # 
Data RSRelationships Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> RSRelationships -> c RSRelationships

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c RSRelationships

toConstr :: RSRelationships -> Constr

dataTypeOf :: RSRelationships -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c RSRelationships)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c RSRelationships)

gmapT :: (forall b. Data b => b -> b) -> RSRelationships -> RSRelationships

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RSRelationships -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RSRelationships -> r

gmapQ :: (forall d. Data d => d -> u) -> RSRelationships -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> RSRelationships -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> RSRelationships -> m RSRelationships

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> RSRelationships -> m RSRelationships

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> RSRelationships -> m RSRelationships

Ord RSRelationships Source # 
Show RSRelationships Source # 

Methods

showsPrec :: Int -> RSRelationships -> ShowS

show :: RSRelationships -> String

showList :: [RSRelationships] -> ShowS

GetRange RSRelationships Source # 
Pretty RSRelationships Source # 

data RSScheme Source #

Instances

Eq RSScheme Source # 

Methods

(==) :: RSScheme -> RSScheme -> Bool

(/=) :: RSScheme -> RSScheme -> Bool

Data RSScheme Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> RSScheme -> c RSScheme

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c RSScheme

toConstr :: RSScheme -> Constr

dataTypeOf :: RSScheme -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c RSScheme)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c RSScheme)

gmapT :: (forall b. Data b => b -> b) -> RSScheme -> RSScheme

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RSScheme -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RSScheme -> r

gmapQ :: (forall d. Data d => d -> u) -> RSScheme -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> RSScheme -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> RSScheme -> m RSScheme

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> RSScheme -> m RSScheme

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> RSScheme -> m RSScheme

Ord RSScheme Source # 

Methods

compare :: RSScheme -> RSScheme -> Ordering

(<) :: RSScheme -> RSScheme -> Bool

(<=) :: RSScheme -> RSScheme -> Bool

(>) :: RSScheme -> RSScheme -> Bool

(>=) :: RSScheme -> RSScheme -> Bool

max :: RSScheme -> RSScheme -> RSScheme

min :: RSScheme -> RSScheme -> RSScheme

Show RSScheme Source # 

Methods

showsPrec :: Int -> RSScheme -> ShowS

show :: RSScheme -> String

showList :: [RSScheme] -> ShowS

GetRange RSScheme Source # 
Pretty RSScheme Source # 
Syntax RelScheme RSScheme RSSymbol () () Source #

Syntax of Rel

StaticAnalysis RelScheme RSScheme Sentence () () Sign RSMorphism RSSymbol RSRawSymbol Source #

Static Analysis for Rel

Methods

basic_analysis :: RelScheme -> Maybe ((RSScheme, Sign, GlobalAnnos) -> Result (RSScheme, ExtSign Sign RSSymbol, [Named Sentence])) Source #

sen_analysis :: RelScheme -> Maybe ((RSScheme, Sign, Sentence) -> Result Sentence) Source #

extBasicAnalysis :: RelScheme -> IRI -> LibName -> RSScheme -> Sign -> GlobalAnnos -> Result (RSScheme, ExtSign Sign RSSymbol, [Named Sentence]) Source #

stat_symb_map_items :: RelScheme -> Sign -> Maybe Sign -> [()] -> Result (EndoMap RSRawSymbol) Source #

stat_symb_items :: RelScheme -> Sign -> [()] -> Result [RSRawSymbol] Source #

convertTheory :: RelScheme -> Maybe ((Sign, [Named Sentence]) -> RSScheme) Source #

ensures_amalgamability :: RelScheme -> ([CASLAmalgOpt], Gr Sign (Int, RSMorphism), [(Int, RSMorphism)], Gr String String) -> Result Amalgamates Source #

quotient_term_algebra :: RelScheme -> RSMorphism -> [Named Sentence] -> Result (Sign, [Named Sentence]) Source #

signature_colimit :: RelScheme -> Gr Sign (Int, RSMorphism) -> Result (Sign, Map Int RSMorphism) Source #

qualify :: RelScheme -> SIMPLE_ID -> LibName -> RSMorphism -> Sign -> Result (RSMorphism, [Named Sentence]) Source #

symbol_to_raw :: RelScheme -> RSSymbol -> RSRawSymbol Source #

id_to_raw :: RelScheme -> Id -> RSRawSymbol Source #

matches :: RelScheme -> RSSymbol -> RSRawSymbol -> Bool Source #

empty_signature :: RelScheme -> Sign Source #

add_symb_to_sign :: RelScheme -> Sign -> RSSymbol -> Result Sign Source #

signature_union :: RelScheme -> Sign -> Sign -> Result Sign Source #

signatureDiff :: RelScheme -> Sign -> Sign -> Result Sign Source #

intersection :: RelScheme -> Sign -> Sign -> Result Sign Source #

final_union :: RelScheme -> Sign -> Sign -> Result Sign Source #

morphism_union :: RelScheme -> RSMorphism -> RSMorphism -> Result RSMorphism Source #

is_subsig :: RelScheme -> Sign -> Sign -> Bool Source #

subsig_inclusion :: RelScheme -> Sign -> Sign -> Result RSMorphism Source #

generated_sign :: RelScheme -> Set RSSymbol -> Sign -> Result RSMorphism Source #

cogenerated_sign :: RelScheme -> Set RSSymbol -> Sign -> Result RSMorphism Source #

induced_from_morphism :: RelScheme -> EndoMap RSRawSymbol -> Sign -> Result RSMorphism Source #

induced_from_to_morphism :: RelScheme -> EndoMap RSRawSymbol -> ExtSign Sign RSSymbol -> ExtSign Sign RSSymbol -> Result RSMorphism Source #

is_transportable :: RelScheme -> RSMorphism -> Bool Source #

is_injective :: RelScheme -> RSMorphism -> Bool Source #

theory_to_taxonomy :: RelScheme -> TaxoGraphKind -> MMiSSOntology -> Sign -> [Named Sentence] -> Result MMiSSOntology Source #

corresp2th :: RelScheme -> String -> Bool -> Sign -> Sign -> [()] -> [()] -> EndoMap RSSymbol -> EndoMap RSSymbol -> REL_REF -> Result (Sign, [Named Sentence], Sign, Sign, EndoMap RSSymbol, EndoMap RSSymbol) Source #

equiv2cospan :: RelScheme -> Sign -> Sign -> [()] -> [()] -> Result (Sign, Sign, Sign, EndoMap RSSymbol, EndoMap RSSymbol) Source #

extract_module :: RelScheme -> [IRI] -> (Sign, [Named Sentence]) -> Result (Sign, [Named Sentence]) Source #

Logic RelScheme () RSScheme Sentence () () Sign RSMorphism RSSymbol RSRawSymbol () Source #

Instance of Logic for Relational Schemes

Methods

parse_basic_sen :: RelScheme -> Maybe (RSScheme -> AParser st Sentence) Source #

stability :: RelScheme -> Stability Source #

data_logic :: RelScheme -> Maybe AnyLogic Source #

top_sublogic :: RelScheme -> () Source #

all_sublogics :: RelScheme -> [()] Source #

bottomSublogic :: RelScheme -> Maybe () Source #

sublogicDimensions :: RelScheme -> [[()]] Source #

parseSublogic :: RelScheme -> String -> Maybe () Source #

proj_sublogic_epsilon :: RelScheme -> () -> Sign -> RSMorphism Source #

provers :: RelScheme -> [Prover Sign Sentence RSMorphism () ()] Source #

default_prover :: RelScheme -> String Source #

cons_checkers :: RelScheme -> [ConsChecker Sign Sentence () RSMorphism ()] Source #

conservativityCheck :: RelScheme -> [ConservativityChecker Sign Sentence RSMorphism] Source #

empty_proof_tree :: RelScheme -> () Source #

syntaxTable :: RelScheme -> Sign -> Maybe SyntaxTable Source #

omdoc_metatheory :: RelScheme -> Maybe OMCD Source #

export_symToOmdoc :: RelScheme -> NameMap RSSymbol -> RSSymbol -> String -> Result TCElement Source #

export_senToOmdoc :: RelScheme -> NameMap RSSymbol -> Sentence -> Result TCorOMElement Source #

export_theoryToOmdoc :: RelScheme -> SigMap RSSymbol -> Sign -> [Named Sentence] -> Result [TCElement] Source #

omdocToSym :: RelScheme -> SigMapI RSSymbol -> TCElement -> String -> Result RSSymbol Source #

omdocToSen :: RelScheme -> SigMapI RSSymbol -> TCElement -> String -> Result (Maybe (Named Sentence)) Source #

addOMadtToTheory :: RelScheme -> SigMapI RSSymbol -> (Sign, [Named Sentence]) -> [[OmdADT]] -> Result (Sign, [Named Sentence]) Source #

addOmdocToTheory :: RelScheme -> SigMapI RSSymbol -> (Sign, [Named Sentence]) -> [TCElement] -> Result (Sign, [Named Sentence]) Source #

Comorphism RelScheme2CASL RelScheme () RSScheme Sentence () () Sign RSMorphism RSSymbol RSRawSymbol () CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree Source # 

map_rel :: RSMorphism -> RSRel -> Result RSRel Source #

oo-style getter function for Relations

getRels :: RSScheme -> [Annoted RSRel] Source #

oo-style getter function for signatures