class REPERTOIRE |
---|
attr charmap : REP_MAP ; |
---|
attr maps : FLIST{ORDERING} ; |
---|
attr undefined : RANGE_ORDERING ; |
---|
Leaf_Name_ref : STR |
---|
create( .. Included as create |
---|
default : SAME .. Included as default |
---|
earlier( .. Included as earlier |
---|
earlier( .. Included as earlier |
---|
earlier( .. Included as earlier |
---|
earlier( .. Included as earlier |
---|
earlier( .. Included as earlier |
---|
earlier( .. Included as earlier |
---|
same( .. Included as same |
---|
same( .. Included as same |
---|
same( .. Included as same |
---|
same( .. Included as same |
---|
same( .. Included as same |
---|
same( .. Included as same |
---|
weights( .. Included as weights |
---|
build_a_map( .. Included as build_a_map |
---|
build_range_map( .. Included as build_range_map |
---|
build_rules( .. Included as build_rules |
---|
attr charmap : REP_MAP ; |
---|
compare( .. Included as compare |
---|
init : SAME .. Included as init |
---|
initialise : SAME .. Included as initialise |
---|
make_tokens( .. Included as make_tokens |
---|
make_weights( .. Included as make_weights |
---|
attr maps : FLIST{ORDERING} ; |
---|
one_pass( .. Included as one_pass |
---|
shared priv_default : SAME ; |
---|
shared priv_default : SAME ; |
---|
attr undefined : RANGE_ORDERING ; |
---|