class ORDERING




Public


Readable Attributes
attr rule : ARRAY{ORDER_RULE} ;

Features
contains( .. Included as contains
create( .. Included as create
create : SAME
insert( .. Included as insert
insert( .. Included as insert
size : CARD .. Included as size
weights( .. Included as weights


Private

from_range( .. Included as from_range
attr range_list : FLIST{RANGE_ORDERING} ;
attr range_list : FLIST{RANGE_ORDERING} ;
attr rule : ARRAY{ORDER_RULE} ;
attr table : FMAP{TOKEN,ARRAY{ORDER_WEIGHT}} ;
attr table : FMAP{TOKEN,ARRAY{ORDER_WEIGHT}} ;

The Sather Home Page