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.


Ancestors
$IS_LT{_} $IS_EQ $ENUM_SET $IMMUTABLE
$STR $BINARY

Descendants
ACCESS_SET



Public


Features
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 ;

The Sather Home Page