class RANGE_ORDERING |
---|
attr base_weight : ORDER_WEIGHT ; |
---|
attr domain : RANGE ; |
---|
attr rules : ARRAY{ORDER_RULE} ; |
---|
contains( .. Included as contains |
---|
create( |
---|
weights( .. Included as weights |
---|
attr base_weight : ORDER_WEIGHT ; |
---|
attr domain : RANGE ; |
---|
attr rules : ARRAY{ORDER_RULE} ; |
---|
attr weights : ARRAY{ORDER_WEIGHT} ; |
---|
attr weights : ARRAY{ORDER_WEIGHT} ; |
---|