Lines Matching full:precondition
1301 /*binary search implementation (not that much faster) (precondition: array_size > 0)*/
