Syntax.AS_Structured

Description

Synopsis

• data SPEC
  • = Basic_spec G_basic_spec Range
  • | EmptySpec Range
  • | Translation (Annoted SPEC) RENAMING
  • | Reduction (Annoted SPEC) RESTRICTION
  • | Approximation (Annoted SPEC) APPROXIMATION
  • | Minimization (Annoted SPEC) MINIMIZATION
  • | Union [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] Range
  • | Qualified_spec LogicDescr (Annoted SPEC) Range
  • | Data AnyLogic AnyLogic (Annoted SPEC) (Annoted SPEC) Range
  • | Combination [LABELED_ONTO_OR_INTPR_REF] [EXTENSION_REF] Range
• data RENAMING = Renaming [G_mapping] Range
• data RESTRICTION
  • = Hidden [G_hiding] Range
  • | Revealed G_symb_map_items_list Range
• data APPROXIMATION
  • = Named_Approx APPROX_METHOD_REF Range
  • | Qual_Approx APPROX_METHOD_REF LOGIC_REF Range
• data MINIMIZATION = Mini CircMin CircVars 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 VIEW_NAME [Annoted FIT_ARG] Range
• type SPEC_NAME = IRI
• type VIEW_NAME = IRI
• type EQUIV_NAME = IRI
• type ALIGN_NAME = IRI
• type MODULE_NAME = IRI
• type APPROX_METHOD_REF = IRI
• type ENTITY = IRI
• type RESTRICTION_SIGNATURE = [ENTITY]
• type CircMin = [Symb]
• type CircVars = [Symb]
• type Symb = IRI
• data LogicDescr = LogicDescr Logic_name (Maybe IRI) Range
• 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 CombineID) ONTO_OR_INTPR_REF
• type ONTO_NAME = IRI
• type EXTENSION_NAME = IRI
• type IMPORT_NAME = IRI
• type ONTO_OR_INTPR_REF = IRI
• type ONTO_REF = IRI
• type EXTENSION_REF = IRI
• type LOGIC_REF = IRI
• type CombineID = Token
• 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 CORRESPONDENCE_ID) G_symb_items_list G_symb_items_list (Maybe RELATION_REF) (Maybe CONFIDENCE)
  • | Default_correspondence
• type CORRESPONDENCE_ID = Annotation
• type ENTITY_REF = IRI
• data TERM_OR_ENTITY_REF
  • = Term G_symb_items_list Range
  • | Entity_ref ENTITY_REF
• 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