Lines Matching full:satisfies
1979 // This method tries to find a reordering solution which satisfies the push mechanic by trying