Home | History | Annotate | Download | only in common

Lines Matching full:invariant

453     // invariant: c >= list[lo]
454     // invariant: c < list[hi]