Lines Matching refs:ordered
79 # Insertion-sort s using the BinaryPredicate ordered.
81 rule insertion-sort ( s * : ordered * )
83 if ! $(ordered)
90 ordered ?= sequence.less ;
92 if $(ordered) = sequence.less
113 while $(tail) && [ modules.call-in $(caller) : $(ordered) $(tail[1]) $(x) ]
127 # Merge two ordered sequences using the BinaryPredicate ordered.
129 rule merge ( s1 * : s2 * : ordered * )
131 ordered ?= sequence.less ;
137 if [ modules.call-in $(caller) : $(ordered) $(s1[1]) $(s2[1]) ]
142 else if [ modules.call-in $(caller) : $(ordered) $(s2[1]) $(s1[1]) ]
161 rule compare ( s1 * : s2 * : ordered * )
163 if ! $(ordered)
182 else if [ $(ordered) $(s1[1]) $(s2[1]) ]
186 else if [ $(ordered) $(s2[1]) $(s1[1]) ]
250 # Returns the maximum number in 'elements'. Uses 'ordered' for comparisons or
253 rule max-element ( elements + : ordered ? )
255 ordered ?= numbers.less ;
260 if [ $(ordered) $(max) $(e) ]