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

some more size_ts

parent 8d4aa7ff
No related branches found
No related tags found
No related merge requests found
...@@ -79,7 +79,7 @@ ext::map < common::ranked_symbol < SymbolType, RankType >, size_t > BadCharacter ...@@ -79,7 +79,7 @@ ext::map < common::ranked_symbol < SymbolType, RankType >, size_t > BadCharacter
} }
   
// limit the shift by position of symbols within the pattern // limit the shift by position of symbols within the pattern
for ( unsigned i = 0; i < pattern.getContent ( ).size ( ) - 1; i++ ) { // last symbol is not concerned for ( size_t i = 0; i < pattern.getContent ( ).size ( ) - 1; i++ ) { // last symbol is not concerned
if ( pattern.getContent ( )[i] == pattern.getSubtreeWildcard ( ) || pattern.getNonlinearVariables ( ).count ( pattern.getContent ( )[i] ) || pattern.getContent ( )[i] == pattern.getVariablesBar ( ) ) if ( pattern.getContent ( )[i] == pattern.getSubtreeWildcard ( ) || pattern.getNonlinearVariables ( ).count ( pattern.getContent ( )[i] ) || pattern.getContent ( )[i] == pattern.getVariablesBar ( ) )
continue; continue;
   
......
...@@ -320,7 +320,7 @@ public: ...@@ -320,7 +320,7 @@ public:
   
friend std::ostream & operator << ( std::ostream & out, const common::SparseBoolVector::element & elem ) { friend std::ostream & operator << ( std::ostream & out, const common::SparseBoolVector::element & elem ) {
out << "(" << elem.run << ", "; out << "(" << elem.run << ", ";
for ( unsigned i = 0; i < sizeof ( elem.word ) * BITS_IN_BYTE; ++ i ) for ( size_t i = 0; i < sizeof ( elem.word ) * BITS_IN_BYTE; ++ i )
out << (bool) ( elem.word & 1u << i ); out << (bool) ( elem.word & 1u << i );
out << ")"; out << ")";
return out; return out;
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment