Lines Matching full:underlying
3581 " detail the assumptions and invariants underlying the algorithms.\n" +
