MappingOrigin
Specifies the origin (in the DOL document) of the Mapping
Values
dg_implies_link
implied extension
dg_link_align
alignment
dg_link_closed_lenv
closure OMS
dg_link_extension
extension OMS
dg_link_fit_view
fitting view on an instantiation of a parameterised OMS (CASL syntax)
dg_link_fit_view_imp
implict fitting view on an instantiation of a parameterised OMS (CASL syntax)
dg_link_flattening_rename
flattening of an OMS translation
dg_link_flattening_union
flattening of an OMS union
dg_link_imports
CASL imports
dg_link_inst
reference to an OMS
dg_link_inst_arg
argument of a parameterised OMS (CASL syntax)
dg_link_intersect
intersection
dg_link_morph
morphism created during an instantiation of a parameterised OMS (CASL syntax)
dg_link_proof
proof within the development graph calculus
dg_link_refinement
refinement of OMS
dg_link_translation
translation OMS
dg_link_verif
development graph calculus
dg_link_view
interpretation (view)
see_source
that of the target OMS of the mapping
see_target
that of the source OMS of the mapping
test
used for testing purposes