Lines Matching full:invariant
5365 " they can be found quickly. All procedures maintain the invariant\n" +5994 " ... plus, must obey implementation invariant that prev_inuse is\n" +
