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