Lines Matching refs:list
446 from left to right as they occur in the list, and they are
487 variables such that the middle ones are first in the list:
495 The implementation of middle\_first/2 requries a bit of list manipulation
955 %search. The predicate supporting static LDS takes a list of variables
956 %(those which are to be labelled) and a list of values (one heuristic
975 %\item[Vars] the list of problem variables. Some of the
978 %\item[Vals] the list of values according to the heuristic. It
1042 %Each variable in the list of variables {\em Vars}
1158 \item For given N, create a list of length N whose members are numbers
1161 For each element E of the list, its successors are divided into two sets,
1171 For given N, create a list of length N whose members are numbers
1175 For each K from 1..N, call the Kth element of the list Ek.