Skip to content
Snippets Groups Projects
Commit c79a0575 authored by Jan Trávníček's avatar Jan Trávníček
Browse files

improve QS BCS heuristics

parent 789baf30
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
alib2algo/src/tree/properties/QuickSearchBadCharacterShiftTable.h
+ 1
− 1
View file @ c79a0575
...@@ -49,7 +49,7 @@ ext::map < common::ranked_symbol < SymbolType, RankType >, size_t > QuickSearchB ...@@ -49,7 +49,7 @@ ext::map < common::ranked_symbol < SymbolType, RankType >, size_t > QuickSearchB
if ( symbol == pattern.getSubtreeWildcard ( ) || pattern.getNonlinearVariables ( ).count ( symbol ) || symbol == pattern.getVariablesBar ( ) ) if ( symbol == pattern.getSubtreeWildcard ( ) || pattern.getNonlinearVariables ( ).count ( symbol ) || symbol == pattern.getVariablesBar ( ) )
continue; continue;
   
bcs.insert ( std::make_pair ( symbol, pattern.getContent ( ).size ( ) ) ); bcs.insert ( std::make_pair ( symbol, pattern.getContent ( ).size ( ) + 1 ) );
} }
   
// find the distance between the end of the pattern and the index // find the distance between the end of the pattern and the index
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment