Lines Matching refs:so
201 be representable in a machine word, and so must
224 so that in the internal representation, the term is converted
385 equivalent and so the search for next better solution starts
396 the search is aborted and the best solution found so far is
1157 the same physical domain and so when defining a new variable
1269 so that the user predicates may ignore scheduling and waking completely.
1306 to the waking scheduler and so is the {\bf constrained} list
1421 so that all values greater than this value are removed
1430 so that it is woken as soon as the minimum of either domain
1630 and readable, so that this style of constraints writing