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