abstract class $ENUM_SET{TYP, ITP < $ENUMS{ITP}} < $ENUM_SET, $IS_LT{TYP} |
---|
**** |
________This_abstraction_is_designed_to_handle_arbitrary_bit_sets_whose_size ___in_bits_is_determined_by_the_element_type_ELEM_which_must_be_an ___enumeration. |
$IS_LT{_} | $IS_EQ | $ENUM_SET | $IMMUTABLE | $STR | $BINARY |
ACCESS_SET |
contains(item : ITP) : BOOL ; |
---|
**** |
________Set_membership_operation. |
div(other : TYP ) : SAME ; |
---|
**** |
________Set_operations_-- _________________union,_difference,_intersection,_symmetric_difference |
empty : SAME ; |
---|
is_empty : BOOL ; |
---|
**** |
________This_returns_true_if_and_only_if_self_is_the_empty_set. |
minus(other : TYP) : SAME ; |
---|
plus(item : ITP) : SAME ; |
---|
plus(other : TYP) : SAME ; |
---|
times(other : TYP) : SAME ; |
---|