class RANGE_ORDERING
****

________This_class_models_an_ordering_rule_which_applies_to_all_of
___the_members_of_a_range_of_tokens.




Public


Readable Attributes
attr base_weight : ORDER_WEIGHT ;
attr domain : RANGE ;
attr rules : ARRAY{ORDER_RULE} ;

Features
contains(code : TOKEN) : BOOL
create(dom : RANGE,base : ORDER_WEIGHT,dirns : ARRAY{ORDER_RULE},wts : ARRAY{ORDER_WEIGHT}) : SAME
weights(code : TOKEN) : ARRAY{ORDER_WEIGHT}


Private

attr base_weight : ORDER_WEIGHT ;
attr domain : RANGE ;
attr rules : ARRAY{ORDER_RULE} ;
attr weights : ARRAY{ORDER_WEIGHT} ;
****
________This_array_is_'parameterised'_in_that_any_weight_which_is_of_the
___value_ORDER_WEIGHT::maxval_is_deemed_to_be_of_the_weight_of_the_token
___in_the_range.
attr weights : ARRAY{ORDER_WEIGHT} ;
****
________This_array_is_'parameterised'_in_that_any_weight_which_is_of_the
___value_ORDER_WEIGHT::maxval_is_deemed_to_be_of_the_weight_of_the_token
___in_the_range.

The Sather Home Page