immutable class ORDER_RULE < $IS_EQ, $IS_LT{ORDER_RULE}, $BINARY, $STR |
---|
$STR | $BINARY | $IS_LT{_} | $IS_EQ |
attr left_to_right : BOOL ; |
---|
attr positional : BOOL ; |
---|
backward : BOOL .. Included as backward |
---|
binstr : BINSTR .. Included as binstr |
---|
build( .. Included as build |
---|
create( .. Included as create |
---|
create( |
---|
forward : BOOL .. Included as forward |
---|
is_eq( .. Included as is_eq |
---|
is_eq(other : $OB) : BOOL .. Included as is_eq |
---|
**** | This is the generic equality predicate. c.f. the class $IS_EQ |
is_lt( .. Included as is_lt |
---|
read( .. Included as read |
---|
str( .. Included as str |
---|
str : STR .. Included as str |
---|
write( .. Included as write |
---|
do_str( .. Included as do_str |
---|
attr left_to_right : BOOL ; |
---|
attr positional : BOOL ; |
---|