28 return this->nEntries_ ==
other.nEntries_ && this->nFactors_ ==
other.nFactors_
29 && this->index_ ==
other.index_;
35 cout <<
"nEntries = " << nEntries() <<
", nFactors = " << nFactors() <<
"\n";
36 for(KeyMap::value_type key_factors: index_) {
37 cout <<
"var " << keyFormatter(key_factors.first) <<
":";
38 for(
const auto index: key_factors.second)
47 os <<
size() <<
" " << nFactors() <<
"\n";
49 for(KeyMap::value_type key_factors: index_) {
51 for(
const auto index: key_factors.second)
52 os << (index+1) <<
" ";
61 gttic(VariableIndex_augmentExistingFactor);
63 for(
const Key key: newKeys) {
64 index_[
key].push_back(factorIndex);
68 gttoc(VariableIndex_augmentExistingFactor);