ENTITY complete_membership_of_empty_set SUBTYPE OF (complete_membership); END_ENTITY; -- complete_membership_of_empty_set |
Entity data types and their attributesclassification_assignmentassigned_class: group; role: classification_role; complete_membership (DER) containing_set: class; complete_membership_of_empty_set - |
Usersclassification_assignmentcomplete_membership complete_membership_of_empty_set |
Global rules for this entity data type- |
public interface EComplete_membership_of_empty_set extends EComplete_membership |
public class CComplete_membership_of_empty_set implements EComplete_membership_of_empty_set |
public class AComplete_membership_of_empty_set extends AEntitypublic EComplete_membership_of_empty_set getByIndex(int index)public EComplete_membership_of_empty_set getCurrentMember(SdaiIterator it) |