abstract class $ENUM_SET < $IS_EQ, $IMMUTABLE |
---|
**** |
________This_abstraction_is_of_an_arbitrary_bit_set_whose_size_in_bits_is_known. |
$IMMUTABLE | $STR | $BINARY | $IS_EQ |
$ENUM_SET{_,_} | ACCESS_SET |
num_bits : NUM_BITS ; |
---|
**** |
________Provided_that_asize_is_not_greater_than_NUM_BITS::asize_this_returns ___the_set_in_the_lowest_size_bits_of_the_result_-_other_bits_being_clear. ___If_the_pre-condition_is_not_satisfied_then_the_result_is_undefined. |
size : CARD ; |
---|
**** | The number of bits which constitute the set. |