modelverse/interface/HUTN/includes/conformance_scd.alh

Boolean function is_direct_instance(model: Element, instance: Element, type: Element)
Boolean function is_nominal_instance(model: Element, instance: Element, type: Element)
Boolean function is_structural_subtype(subtype: Element, supertype: Element)
Element function conformance_scd(model: Element)
Element function set_model_constraints(model: Element, func: Element)
Element function generate_bottom_type_mapping(model: Element)