|
ENTITY reparametrised_composite_curve_segment SUBTYPE OF (composite_curve_segment); param_length : parameter_value; WHERE WR1: param_length > 0.0; END_ENTITY; -- reparametrised_composite_curve_segment |
Entity data types and their attributesfounded_item(DER) users: SET [0:?] OF founded_item_select; composite_curve_segment transition: transition_code; same_sense: BOOLEAN; parent_curve: curve; (INV) using_curves: BAG [1:?] OF composite_curve FOR segments; reparametrised_composite_curve_segment param_length: parameter_value; |
Global rules for this entity data type- |