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 10 milliseconds