Searched refs:chkdata (Results 1 - 1 of 1) sorted by relevance

/ast/src/lib/libvcodex/
H A Dvcsfxsort.c74 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