Lines Matching refs:codeLength
32 $(LREF codeLength)
350 enforce(stride(s, i) == codeLength!char(c),
353 enforce(stride(RandomCU!char(s), i) == codeLength!char(c),
358 enforce(stride(refRandom, i) == codeLength!char(c),
365 enforce(stride(s) == codeLength!char(c),
368 enforce(stride(InputCU!char(s)) == codeLength!char(c),
373 enforce(stride(refBidir) == codeLength!char(c),
458 enforce(stride(s, i) == codeLength!wchar(c),
461 enforce(stride(RandomCU!wchar(s), i) == codeLength!wchar(c),
466 enforce(stride(refRandom, i) == codeLength!wchar(c),
473 enforce(stride(s) == codeLength!wchar(c),
476 enforce(stride(InputCU!wchar(s)) == codeLength!wchar(c),
481 enforce(stride(refBidir) == codeLength!wchar(c),
537 enforce(stride(s, i) == codeLength!dchar(c),
540 enforce(stride(RandomCU!dchar(s), i) == codeLength!dchar(c),
545 enforce(stride(refRandom, i) == codeLength!dchar(c),
552 enforce(stride(s) == codeLength!dchar(c),
555 enforce(stride(InputCU!dchar(s)) == codeLength!dchar(c),
560 enforce(stride(refBidir) == codeLength!dchar(c),
683 enforce(strideBack(s, i == size_t.max ? s.length : i) == codeLength!char(c),
686 enforce(strideBack(RandomCU!char(s), i == size_t.max ? s.length : i) == codeLength!char(c),
691 enforce(strideBack(refRandom, i == size_t.max ? s.length : i) == codeLength!char(c),
698 enforce(strideBack(s) == codeLength!char(c),
701 enforce(strideBack(BidirCU!char(s)) == codeLength!char(c),
706 enforce(strideBack(refBidir) == codeLength!char(c),
780 enforce(strideBack(s, i == size_t.max ? s.length : i) == codeLength!wchar(c),
783 … enforce(strideBack(RandomCU!wchar(s), i == size_t.max ? s.length : i) == codeLength!wchar(c),
788 enforce(strideBack(refRandom, i == size_t.max ? s.length : i) == codeLength!wchar(c),
795 enforce(strideBack(s) == codeLength!wchar(c),
798 enforce(strideBack(BidirCU!wchar(s)) == codeLength!wchar(c),
803 enforce(strideBack(refBidir) == codeLength!wchar(c),
865 enforce(strideBack(s, i == size_t.max ? s.length : i) == codeLength!dchar(c),
868 … enforce(strideBack(RandomCU!dchar(s), i == size_t.max ? s.length : i) == codeLength!dchar(c),
873 enforce(strideBack(refRandom, i == size_t.max ? s.length : i) == codeLength!dchar(c),
880 enforce(strideBack(s) == codeLength!dchar(c),
883 enforce(strideBack(BidirCU!dchar(s)) == codeLength!dchar(c),
888 enforce(strideBack(refBidir) == codeLength!dchar(c),