class CHAR_GROUP < $BINARY |
---|
$BINARY |
attr ranges : FLIST{RANGE} ; |
---|
binstr : BINSTR .. Included as binstr |
---|
build( .. Included as build |
---|
contains( .. Included as contains |
---|
create( .. Included as create |
---|
create : SAME |
---|
insert( .. Included as insert |
---|
plus( .. Included as plus |
---|
read( .. Included as read |
---|
write( .. Included as write |
---|
do_tail( .. Included as do_tail |
---|
get_range!( .. Included as get_range! |
---|
is_disjoint( .. Included as is_disjoint |
---|
attr ranges : FLIST{RANGE} ; |
---|