fix invalid use of size_t

alib2algo/src/stringology/query/BNDMOccurrences.h

@@ -49,7 +49,7 @@ ext::set < unsigned > BNDMOccurrences::query ( const indexes::stringology::BitSe
 	ext::bitset < BitmaskBitCount > currentBitmask;
-	while ( posInSubject <= subjectLength - patternLength ) {
+	while ( posInSubject + patternLength <= subjectLength ) {
 		size_t posInPattern = bitmaskLength;
 		size_t lastPosOfFactor = bitmaskLength;

alib2algo/src/stringology/query/BackwardDAWGMatching.h

@@ -38,7 +38,7 @@ ext::set < unsigned > BackwardDAWGMatching::match ( const string::LinearString <
 	bool fail;
 	size_t posInSubject = 0;
-	while ( posInSubject <= subjectSize - patternSize ) {
+	while ( posInSubject + patternSize <= subjectSize ) {
 		unsigned currentState = suffixAutomaton.getAutomaton ( ).getInitialState ( );
 		size_t posInPattern = patternSize;

alib2algo/src/stringology/query/BackwardOracleMatching.h

@@ -40,7 +40,7 @@ ext::set < unsigned > BackwardOracleMatching::match ( const string::LinearString
 	bool fail;
 	size_t posInSubject = 0;
-	while ( posInSubject <= subjectSize - patternSize ) {
+	while ( posInSubject + patternSize <= subjectSize ) {
 		StateType currentState = factorOracle.getInitialState ( );

alib2algo/src/stringology/query/WideBNDMOccurrences.h

@@ -48,7 +48,7 @@ ext::set < unsigned > WideBNDMOccurrences::query ( const indexes::stringology::B
 	ext::vector < bool > currentBitmask;
 	currentBitmask.resize ( patternLength );
-	while ( posInSubject <= subjectLength - patternLength ) {
+	while ( posInSubject + patternLength <= subjectLength ) {
 		size_t posInPattern = patternLength;
 		size_t lastPosOfFactor = patternLength;