def indexOf(self, pattern, start_idx, bitlength):
return StrIndexOf(self, pattern, start_idx, bitlength)<EOL>
Return the start index of the pattern inside the input string in a
Bitvector representation, otherwise it returns -1 (always using a BitVector)

:param bitlength: size of the biitvector holding the result