Copyright	(c) Klaus Luettich Uni Bremen 2002-2016
License	GPLv2 or higher, see LICENSE.txt
Maintainer	till@informatik.uni-bremen.de
Stability	provisional
Portability	non-portable(Grothendieck)
Safe Haskell	None

Syntax.AS_Structured

Contents

Orphan instances

Description

Abstract syntax of HetCASL (heterogeneous) structured specifications Follows Sect. II:2.2.3 of the CASL Reference Manual. Abstract syntax of DOL OMS and networks Follows the DOL OMG standard, clauses 9.4, 9.5, M.2 and M.3

Synopsis

data SPEC
- = Basic_spec G_basic_spec Range
- | EmptySpec Range
- | Extraction (Annoted SPEC) EXTRACTION
- | Translation (Annoted SPEC) RENAMING
- | Reduction (Annoted SPEC) RESTRICTION
- | Approximation (Annoted SPEC) APPROXIMATION
- | Minimization (Annoted SPEC) MINIMIZATION
- | Filtering (Annoted SPEC) FILTERING
- | Bridge (Annoted SPEC) [RENAMING] (Annoted SPEC) Range
- | Union [Annoted SPEC] Range
- | Intersection [Annoted SPEC] Range
- | Extension [Annoted SPEC] Range
- | Free_spec (Annoted SPEC) Range
- | Cofree_spec (Annoted SPEC) Range
- | Minimize_spec (Annoted SPEC) Range
- | Local_spec (Annoted SPEC) (Annoted SPEC) Range
- | Closed_spec (Annoted SPEC) Range
- | Group (Annoted SPEC) Range
- | Spec_inst SPEC_NAME [Annoted FIT_ARG] (Maybe IRI) Range
- | Qualified_spec LogicDescr (Annoted SPEC) Range
- | Data AnyLogic AnyLogic (Annoted SPEC) (Annoted SPEC) Range
- | Combination Network Range
- | Apply IRI G_basic_spec Range
data Network = Network [LABELED_ONTO_OR_INTPR_REF] [IRI] Range
data FILTERING
- = FilterBasicSpec Bool G_basic_spec Range
- | FilterSymbolList Bool G_symb_items_list Range
data EXTRACTION = ExtractOrRemove Bool [IRI] Range
data APPROXIMATION = ForgetOrKeep Bool [G_hiding] (Maybe IRI) Range
data MINIMIZATION = Mini Token [IRI] [IRI] Range
data RENAMING = Renaming [G_mapping] Range
data RESTRICTION
- = Hidden [G_hiding] Range
- | Revealed G_symb_map_items_list Range
data G_mapping
- = G_symb_map G_symb_map_items_list
- | G_logic_translation Logic_code
data G_hiding
- = G_symb_list G_symb_items_list
- | G_logic_projection Logic_code
data FIT_ARG
- = Fit_spec (Annoted SPEC) [G_mapping] Range
- | Fit_view IRI [Annoted FIT_ARG] Range
type SPEC_NAME = IRI
data LogicDescr
- = LogicDescr Logic_name (Maybe IRI) Range
- | SyntaxQual IRI
- | LanguageQual IRI
data Logic_code = Logic_code (Maybe String) (Maybe Logic_name) (Maybe Logic_name) Range
data Logic_name = Logic_name String (Maybe Token) (Maybe SPEC_NAME)
data LABELED_ONTO_OR_INTPR_REF = Labeled (Maybe Token) IRI
nameToLogicDescr :: Logic_name -> LogicDescr
setLogicName :: LogicDescr -> LogicGraph -> LogicGraph
makeSpec :: G_basic_spec -> Annoted SPEC
makeSpecInst :: SPEC_NAME -> Annoted SPEC
addImports :: [SPEC_NAME] -> Annoted SPEC -> Annoted SPEC
data CORRESPONDENCE
- = Correspondence_block (Maybe RELATION_REF) (Maybe CONFIDENCE) [CORRESPONDENCE]
- | Single_correspondence (Maybe Annotation) G_symb_items_list G_symb_items_list (Maybe RELATION_REF) (Maybe CONFIDENCE)
- | Default_correspondence
data RELATION_REF
- = Subsumes
- | IsSubsumed
- | Equivalent
- | Incompatible
- | HasInstance
- | InstanceOf
- | DefaultRelation
- | Iri IRI
refToRel :: RELATION_REF -> REL_REF
type CONFIDENCE = Double
getSpecNames :: SPEC -> Set SPEC_NAME
getSpecs :: FIT_ARG -> [Annoted SPEC]

Documentation

data SPEC Source #

Constructors

Basic_spec G_basic_spec Range
EmptySpec Range
Extraction (Annoted SPEC) EXTRACTION
Translation (Annoted SPEC) RENAMING
Reduction (Annoted SPEC) RESTRICTION
Approximation (Annoted SPEC) APPROXIMATION
Minimization (Annoted SPEC) MINIMIZATION
Filtering (Annoted SPEC) FILTERING
Bridge (Annoted SPEC) [RENAMING] (Annoted SPEC) Range
Union [Annoted SPEC] Range
Intersection [Annoted SPEC] Range
Extension [Annoted SPEC] Range
Free_spec (Annoted SPEC) Range
Cofree_spec (Annoted SPEC) Range
Minimize_spec (Annoted SPEC) Range
Local_spec (Annoted SPEC) (Annoted SPEC) Range
Closed_spec (Annoted SPEC) Range
Group (Annoted SPEC) Range
Spec_inst SPEC_NAME [Annoted FIT_ARG] (Maybe IRI) Range
Qualified_spec LogicDescr (Annoted SPEC) Range
Data AnyLogic AnyLogic (Annoted SPEC) (Annoted SPEC) Range
Combination Network Range
Apply IRI G_basic_spec Range

Instances

Instances details

Show SPEC Source #
Instance details Defined in Syntax.AS_Structured Methods showsPrec :: Int -> SPEC -> ShowS show :: SPEC -> String showList :: [SPEC] -> ShowS
GetRange SPEC Source #
Instance details Defined in Syntax.AS_Structured Methods getRange :: SPEC -> Range Source # rangeSpan :: SPEC -> [Pos] Source #
PrettyLG SPEC Source #
Instance details Defined in Syntax.Print_AS_Structured Methods prettyLG :: LogicGraph -> SPEC -> Doc Source #
ShATermLG SPEC Source #
Instance details Defined in ATC.AS_Structured Methods toShATermLG :: ATermTable -> SPEC -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, SPEC) Source #
ATermConvertibleSML SPEC Source #
Instance details Defined in ATC.Sml_cats Methods from_sml_ShATerm :: ATermTable -> SPEC from_sml_ShATermList :: ATermTable -> [SPEC]

data Network Source #

Constructors

Network [LABELED_ONTO_OR_INTPR_REF] [IRI] Range

Instances

Instances details

Eq Network Source #
Instance details Defined in Syntax.AS_Structured Methods (==) :: Network -> Network -> Bool (/=) :: Network -> Network -> Bool
Show Network Source #
Instance details Defined in Syntax.AS_Structured Methods showsPrec :: Int -> Network -> ShowS show :: Network -> String showList :: [Network] -> ShowS
GetRange Network Source #
Instance details Defined in Syntax.AS_Structured Methods getRange :: Network -> Range Source # rangeSpan :: Network -> [Pos] Source #
Pretty Network Source #
Instance details Defined in Syntax.Print_AS_Structured Methods pretty :: Network -> Doc Source # pretties :: [Network] -> Doc Source #
ShATermLG Network Source #
Instance details Defined in ATC.AS_Structured Methods toShATermLG :: ATermTable -> Network -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, Network) Source #

data FILTERING Source #

Constructors

FilterBasicSpec Bool G_basic_spec Range
FilterSymbolList Bool G_symb_items_list Range

Instances

Instances details

Eq FILTERING Source #
Instance details Defined in Syntax.AS_Structured Methods (==) :: FILTERING -> FILTERING -> Bool (/=) :: FILTERING -> FILTERING -> Bool
Show FILTERING Source #
Instance details Defined in Syntax.AS_Structured Methods showsPrec :: Int -> FILTERING -> ShowS show :: FILTERING -> String showList :: [FILTERING] -> ShowS
GetRange FILTERING Source #
Instance details Defined in Syntax.AS_Structured Methods getRange :: FILTERING -> Range Source # rangeSpan :: FILTERING -> [Pos] Source #
Pretty FILTERING Source #
Instance details Defined in Syntax.Print_AS_Structured Methods pretty :: FILTERING -> Doc Source # pretties :: [FILTERING] -> Doc Source #
ShATermLG FILTERING Source #
Instance details Defined in ATC.AS_Structured Methods toShATermLG :: ATermTable -> FILTERING -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, FILTERING) Source #

data EXTRACTION Source #

Constructors

ExtractOrRemove Bool [IRI] Range

Instances

Instances details

Eq EXTRACTION Source #
Instance details Defined in Syntax.AS_Structured Methods (==) :: EXTRACTION -> EXTRACTION -> Bool (/=) :: EXTRACTION -> EXTRACTION -> Bool
Show EXTRACTION Source #
Instance details Defined in Syntax.AS_Structured Methods showsPrec :: Int -> EXTRACTION -> ShowS show :: EXTRACTION -> String showList :: [EXTRACTION] -> ShowS
GetRange EXTRACTION Source #
Instance details Defined in Syntax.AS_Structured Methods getRange :: EXTRACTION -> Range Source # rangeSpan :: EXTRACTION -> [Pos] Source #
Pretty EXTRACTION Source #
Instance details Defined in Syntax.Print_AS_Structured Methods pretty :: EXTRACTION -> Doc Source # pretties :: [EXTRACTION] -> Doc Source #
ShATermLG EXTRACTION Source #
Instance details Defined in ATC.AS_Structured Methods toShATermLG :: ATermTable -> EXTRACTION -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, EXTRACTION) Source #

data APPROXIMATION Source #

Constructors

ForgetOrKeep Bool [G_hiding] (Maybe IRI) Range

Instances

Instances details

Eq APPROXIMATION Source #
Instance details Defined in Syntax.AS_Structured Methods (==) :: APPROXIMATION -> APPROXIMATION -> Bool (/=) :: APPROXIMATION -> APPROXIMATION -> Bool
Show APPROXIMATION Source #
Instance details Defined in Syntax.AS_Structured Methods showsPrec :: Int -> APPROXIMATION -> ShowS show :: APPROXIMATION -> String showList :: [APPROXIMATION] -> ShowS
GetRange APPROXIMATION Source #
Instance details Defined in Syntax.AS_Structured Methods getRange :: APPROXIMATION -> Range Source # rangeSpan :: APPROXIMATION -> [Pos] Source #
Pretty APPROXIMATION Source #
Instance details Defined in Syntax.Print_AS_Structured Methods pretty :: APPROXIMATION -> Doc Source # pretties :: [APPROXIMATION] -> Doc Source #
ShATermLG APPROXIMATION Source #
Instance details Defined in ATC.AS_Structured Methods toShATermLG :: ATermTable -> APPROXIMATION -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, APPROXIMATION) Source #

data MINIMIZATION Source #

Constructors

Mini Token [IRI] [IRI] Range

Instances

Instances details

Eq MINIMIZATION Source #
Instance details Defined in Syntax.AS_Structured Methods (==) :: MINIMIZATION -> MINIMIZATION -> Bool (/=) :: MINIMIZATION -> MINIMIZATION -> Bool
Show MINIMIZATION Source #
Instance details Defined in Syntax.AS_Structured Methods showsPrec :: Int -> MINIMIZATION -> ShowS show :: MINIMIZATION -> String showList :: [MINIMIZATION] -> ShowS
GetRange MINIMIZATION Source #
Instance details Defined in Syntax.AS_Structured Methods getRange :: MINIMIZATION -> Range Source # rangeSpan :: MINIMIZATION -> [Pos] Source #
Pretty MINIMIZATION Source #
Instance details Defined in Syntax.Print_AS_Structured Methods pretty :: MINIMIZATION -> Doc Source # pretties :: [MINIMIZATION] -> Doc Source #
ShATermLG MINIMIZATION Source #
Instance details Defined in ATC.AS_Structured Methods toShATermLG :: ATermTable -> MINIMIZATION -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, MINIMIZATION) Source #

data RENAMING Source #

Constructors

Renaming [G_mapping] Range

Instances

Instances details

Eq RENAMING Source #
Instance details Defined in Syntax.AS_Structured Methods (==) :: RENAMING -> RENAMING -> Bool (/=) :: RENAMING -> RENAMING -> Bool
Show RENAMING Source #
Instance details Defined in Syntax.AS_Structured Methods showsPrec :: Int -> RENAMING -> ShowS show :: RENAMING -> String showList :: [RENAMING] -> ShowS
GetRange RENAMING Source #
Instance details Defined in Syntax.AS_Structured Methods getRange :: RENAMING -> Range Source # rangeSpan :: RENAMING -> [Pos] Source #
Pretty RENAMING Source #
Instance details Defined in Syntax.Print_AS_Structured Methods pretty :: RENAMING -> Doc Source # pretties :: [RENAMING] -> Doc Source #
ShATermLG RENAMING Source #
Instance details Defined in ATC.AS_Structured Methods toShATermLG :: ATermTable -> RENAMING -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, RENAMING) Source #
ATermConvertibleSML RENAMING Source #
Instance details Defined in ATC.Sml_cats Methods from_sml_ShATerm :: ATermTable -> RENAMING from_sml_ShATermList :: ATermTable -> [RENAMING]

data RESTRICTION Source #

Constructors

Hidden [G_hiding] Range
Revealed G_symb_map_items_list Range

Instances

Instances details

Eq RESTRICTION Source #
Instance details Defined in Syntax.AS_Structured Methods (==) :: RESTRICTION -> RESTRICTION -> Bool (/=) :: RESTRICTION -> RESTRICTION -> Bool
Show RESTRICTION Source #
Instance details Defined in Syntax.AS_Structured Methods showsPrec :: Int -> RESTRICTION -> ShowS show :: RESTRICTION -> String showList :: [RESTRICTION] -> ShowS
GetRange RESTRICTION Source #
Instance details Defined in Syntax.AS_Structured Methods getRange :: RESTRICTION -> Range Source # rangeSpan :: RESTRICTION -> [Pos] Source #
Pretty RESTRICTION Source #
Instance details Defined in Syntax.Print_AS_Structured Methods pretty :: RESTRICTION -> Doc Source # pretties :: [RESTRICTION] -> Doc Source #
ShATermLG RESTRICTION Source #
Instance details Defined in ATC.AS_Structured Methods toShATermLG :: ATermTable -> RESTRICTION -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, RESTRICTION) Source #
ATermConvertibleSML RESTRICTION Source #
Instance details Defined in ATC.Sml_cats Methods from_sml_ShATerm :: ATermTable -> RESTRICTION from_sml_ShATermList :: ATermTable -> [RESTRICTION]

data G_mapping Source #

Constructors

G_symb_map G_symb_map_items_list
G_logic_translation Logic_code

Instances

Instances details

Eq G_mapping Source #
Instance details Defined in Syntax.AS_Structured Methods (==) :: G_mapping -> G_mapping -> Bool (/=) :: G_mapping -> G_mapping -> Bool
Show G_mapping Source #
Instance details Defined in Syntax.AS_Structured Methods showsPrec :: Int -> G_mapping -> ShowS show :: G_mapping -> String showList :: [G_mapping] -> ShowS
GetRange G_mapping Source #
Instance details Defined in Syntax.AS_Structured Methods getRange :: G_mapping -> Range Source # rangeSpan :: G_mapping -> [Pos] Source #
Pretty G_mapping Source #
Instance details Defined in Syntax.Print_AS_Structured Methods pretty :: G_mapping -> Doc Source # pretties :: [G_mapping] -> Doc Source #
ShATermLG G_mapping Source #
Instance details Defined in ATC.AS_Structured Methods toShATermLG :: ATermTable -> G_mapping -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, G_mapping) Source #

data G_hiding Source #

Constructors

G_symb_list G_symb_items_list
G_logic_projection Logic_code

Instances

Instances details

Eq G_hiding Source #
Instance details Defined in Syntax.AS_Structured Methods (==) :: G_hiding -> G_hiding -> Bool (/=) :: G_hiding -> G_hiding -> Bool
Show G_hiding Source #
Instance details Defined in Syntax.AS_Structured Methods showsPrec :: Int -> G_hiding -> ShowS show :: G_hiding -> String showList :: [G_hiding] -> ShowS
GetRange G_hiding Source #
Instance details Defined in Syntax.AS_Structured Methods getRange :: G_hiding -> Range Source # rangeSpan :: G_hiding -> [Pos] Source #
Pretty G_hiding Source #
Instance details Defined in Syntax.Print_AS_Structured Methods pretty :: G_hiding -> Doc Source # pretties :: [G_hiding] -> Doc Source #
ShATermLG G_hiding Source #
Instance details Defined in ATC.AS_Structured Methods toShATermLG :: ATermTable -> G_hiding -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, G_hiding) Source #

data FIT_ARG Source #

Constructors

Fit_spec (Annoted SPEC) [G_mapping] Range
Fit_view IRI [Annoted FIT_ARG] Range

Instances

Instances details

Show FIT_ARG Source #
Instance details Defined in Syntax.AS_Structured Methods showsPrec :: Int -> FIT_ARG -> ShowS show :: FIT_ARG -> String showList :: [FIT_ARG] -> ShowS
GetRange FIT_ARG Source #
Instance details Defined in Syntax.AS_Structured Methods getRange :: FIT_ARG -> Range Source # rangeSpan :: FIT_ARG -> [Pos] Source #
PrettyLG FIT_ARG Source #
Instance details Defined in Syntax.Print_AS_Structured Methods prettyLG :: LogicGraph -> FIT_ARG -> Doc Source #
ShATermLG FIT_ARG Source #
Instance details Defined in ATC.AS_Structured Methods toShATermLG :: ATermTable -> FIT_ARG -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, FIT_ARG) Source #
ATermConvertibleSML FIT_ARG Source #
Instance details Defined in ATC.Sml_cats Methods from_sml_ShATerm :: ATermTable -> FIT_ARG from_sml_ShATermList :: ATermTable -> [FIT_ARG]

type SPEC_NAME = IRI Source #

data LogicDescr Source #

a logic with serialization or a DOL qualification

Constructors

LogicDescr Logic_name (Maybe IRI) Range
SyntaxQual IRI
LanguageQual IRI

Instances

Instances details

Show LogicDescr Source #
Instance details Defined in Syntax.AS_Structured Methods showsPrec :: Int -> LogicDescr -> ShowS show :: LogicDescr -> String showList :: [LogicDescr] -> ShowS
GetRange LogicDescr Source #
Instance details Defined in Syntax.AS_Structured Methods getRange :: LogicDescr -> Range Source # rangeSpan :: LogicDescr -> [Pos] Source #
Pretty LogicDescr Source #
Instance details Defined in Syntax.Print_AS_Structured Methods pretty :: LogicDescr -> Doc Source # pretties :: [LogicDescr] -> Doc Source #
ShATermLG LogicDescr Source #
Instance details Defined in ATC.AS_Structured Methods toShATermLG :: ATermTable -> LogicDescr -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, LogicDescr) Source #

data Logic_code Source #

Constructors

Logic_code (Maybe String) (Maybe Logic_name) (Maybe Logic_name) Range

Instances

Instances details

Eq Logic_code Source #
Instance details Defined in Syntax.AS_Structured Methods (==) :: Logic_code -> Logic_code -> Bool (/=) :: Logic_code -> Logic_code -> Bool
Show Logic_code Source #
Instance details Defined in Syntax.AS_Structured Methods showsPrec :: Int -> Logic_code -> ShowS show :: Logic_code -> String showList :: [Logic_code] -> ShowS
GetRange Logic_code Source #
Instance details Defined in Syntax.AS_Structured Methods getRange :: Logic_code -> Range Source # rangeSpan :: Logic_code -> [Pos] Source #
Pretty Logic_code Source #
Instance details Defined in Syntax.Print_AS_Structured Methods pretty :: Logic_code -> Doc Source # pretties :: [Logic_code] -> Doc Source #
ShATermLG Logic_code Source #
Instance details Defined in ATC.AS_Structured Methods toShATermLG :: ATermTable -> Logic_code -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, Logic_code) Source #

data Logic_name Source #

Constructors

Logic_name String (Maybe Token) (Maybe SPEC_NAME)

Instances

Instances details

Eq Logic_name Source #
Instance details Defined in Syntax.AS_Structured Methods (==) :: Logic_name -> Logic_name -> Bool (/=) :: Logic_name -> Logic_name -> Bool
Show Logic_name Source #
Instance details Defined in Syntax.AS_Structured Methods showsPrec :: Int -> Logic_name -> ShowS show :: Logic_name -> String showList :: [Logic_name] -> ShowS
GetRange Logic_name Source #
Instance details Defined in Syntax.AS_Structured Methods getRange :: Logic_name -> Range Source # rangeSpan :: Logic_name -> [Pos] Source #
Pretty Logic_name Source #
Instance details Defined in Syntax.Print_AS_Structured Methods pretty :: Logic_name -> Doc Source # pretties :: [Logic_name] -> Doc Source #
ShATermLG Logic_name Source #
Instance details Defined in ATC.AS_Structured Methods toShATermLG :: ATermTable -> Logic_name -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, Logic_name) Source #

data LABELED_ONTO_OR_INTPR_REF Source #

Constructors

Labeled (Maybe Token) IRI

Instances

Instances details

Eq LABELED_ONTO_OR_INTPR_REF Source #
Instance details Defined in Syntax.AS_Structured Methods (==) :: LABELED_ONTO_OR_INTPR_REF -> LABELED_ONTO_OR_INTPR_REF -> Bool (/=) :: LABELED_ONTO_OR_INTPR_REF -> LABELED_ONTO_OR_INTPR_REF -> Bool
Show LABELED_ONTO_OR_INTPR_REF Source #
Instance details Defined in Syntax.AS_Structured Methods showsPrec :: Int -> LABELED_ONTO_OR_INTPR_REF -> ShowS show :: LABELED_ONTO_OR_INTPR_REF -> String showList :: [LABELED_ONTO_OR_INTPR_REF] -> ShowS
GetRange LABELED_ONTO_OR_INTPR_REF Source #
Instance details Defined in Syntax.AS_Structured Methods getRange :: LABELED_ONTO_OR_INTPR_REF -> Range Source # rangeSpan :: LABELED_ONTO_OR_INTPR_REF -> [Pos] Source #
Pretty LABELED_ONTO_OR_INTPR_REF Source #
Instance details Defined in Syntax.Print_AS_Structured Methods pretty :: LABELED_ONTO_OR_INTPR_REF -> Doc Source # pretties :: [LABELED_ONTO_OR_INTPR_REF] -> Doc Source #
ShATermLG LABELED_ONTO_OR_INTPR_REF Source #
Instance details Defined in ATC.AS_Structured Methods toShATermLG :: ATermTable -> LABELED_ONTO_OR_INTPR_REF -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, LABELED_ONTO_OR_INTPR_REF) Source #

nameToLogicDescr :: Logic_name -> LogicDescr Source #

setLogicName :: LogicDescr -> LogicGraph -> LogicGraph Source #

makeSpec :: G_basic_spec -> Annoted SPEC Source #

makeSpecInst :: SPEC_NAME -> Annoted SPEC Source #

addImports :: [SPEC_NAME] -> Annoted SPEC -> Annoted SPEC Source #

data CORRESPONDENCE Source #

Constructors

Correspondence_block (Maybe RELATION_REF) (Maybe CONFIDENCE) [CORRESPONDENCE]
Single_correspondence (Maybe Annotation) G_symb_items_list G_symb_items_list (Maybe RELATION_REF) (Maybe CONFIDENCE)
Default_correspondence

Instances

Instances details

Eq CORRESPONDENCE Source #
Instance details Defined in Syntax.AS_Structured Methods (==) :: CORRESPONDENCE -> CORRESPONDENCE -> Bool (/=) :: CORRESPONDENCE -> CORRESPONDENCE -> Bool
Show CORRESPONDENCE Source #
Instance details Defined in Syntax.AS_Structured Methods showsPrec :: Int -> CORRESPONDENCE -> ShowS show :: CORRESPONDENCE -> String showList :: [CORRESPONDENCE] -> ShowS
GetRange CORRESPONDENCE Source #
Instance details Defined in Syntax.AS_Structured Methods getRange :: CORRESPONDENCE -> Range Source # rangeSpan :: CORRESPONDENCE -> [Pos] Source #
Pretty CORRESPONDENCE Source #
Instance details Defined in Syntax.Print_AS_Library Methods pretty :: CORRESPONDENCE -> Doc Source # pretties :: [CORRESPONDENCE] -> Doc Source #
ShATermLG CORRESPONDENCE Source #
Instance details Defined in ATC.AS_Structured Methods toShATermLG :: ATermTable -> CORRESPONDENCE -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, CORRESPONDENCE) Source #

data RELATION_REF Source #

Constructors

Subsumes
IsSubsumed
Equivalent
Incompatible
HasInstance
InstanceOf
DefaultRelation
Iri IRI

Instances

Instances details

Eq RELATION_REF Source #
Instance details Defined in Syntax.AS_Structured Methods (==) :: RELATION_REF -> RELATION_REF -> Bool (/=) :: RELATION_REF -> RELATION_REF -> Bool
Show RELATION_REF Source #
Instance details Defined in Syntax.AS_Structured Methods showsPrec :: Int -> RELATION_REF -> ShowS show :: RELATION_REF -> String showList :: [RELATION_REF] -> ShowS
GetRange RELATION_REF Source #
Instance details Defined in Syntax.AS_Structured Methods getRange :: RELATION_REF -> Range Source # rangeSpan :: RELATION_REF -> [Pos] Source #
ShATermLG RELATION_REF Source #
Instance details Defined in ATC.AS_Structured Methods toShATermLG :: ATermTable -> RELATION_REF -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, RELATION_REF) Source #

refToRel :: RELATION_REF -> REL_REF Source #

type CONFIDENCE = Double Source #

getSpecNames :: SPEC -> Set SPEC_NAME Source #

getSpecs :: FIT_ARG -> [Annoted SPEC] Source #

Orphan instances

GetRange Double Source #
Instance details Methods getRange :: Double -> Range Source # rangeSpan :: Double -> [Pos] Source #