OMSOrigin
Specifies the origin of the OMS
Values
cofree
cofree OMS
dg_alignment
alignment
dg_basic
basic OMS
dg_basic_spec
basic OMS
dg_closed
closed OMS (CASL syntax)
dg_data
data part of an OMS
dg_empty
empty OMS
dg_extension
extension OMS
dg_extract
OMS module extraction
dg_fit_spec
fitting argument (CASL syntax)
dg_fit_view
fitting view (CASL syntax)
dg_flattening
flattening of an OMS
dg_formal_params
formal parameter OMS
dg_imports
import OMS (CASL syntax)
dg_inst
instantiation of a parameterized OMS (CASL syntax)
dg_integrated_scc
computation of strongly connected component
dg_intersect
OMS intersection
dg_local
local OMS (CASL syntax)
dg_logic_coercion
logic coercion OMS
dg_logic_qual
logic qualification
dg_normal_form
computation of normal form or colimit
dg_proof
proof in the development graph calculus
dg_restriction
OMS hiding
dg_reveal_translation
OMS translation after hiding
dg_test
used for testing purposes
dg_translation
OMS translation
dg_union
OMS union
free
free OMS
minimize
minimization OMS
np_free
free OMS generated by Maude