Searched refs:chkdata (Results 1 - 1 of 1) sorted by relevance
| /ast/src/lib/libvcodex/ |
| H A D | vcsfxsort.c | 74 static int chkdata(Vcsfx_t* sfx, Vcsfxint_t lo, Vcsfxint_t hi) function
264 /**/DEBUG_ASSERT(chkdata(sfx,min-idx,(le-1)-idx));
288 /**/DEBUG_ASSERT(chkdata(sfx,min-idx,(le-1)-idx));
301 /**/DEBUG_ASSERT(chkdata(sfx,min-idx,max-idx));
352 /**/DEBUG_ASSERT(chkdata(sfx, omin, omax));
414 /**/DEBUG_ASSERT(chkdata(sfx, l, r));
534 /**/DEBUG_ASSERT(chkdata(sfx,0,sfx->nstr-1) && chksorted(sfx,0,sfx->nstr-1) );
|
Completed in 11 milliseconds