Fixed problem of accessing an object after deleting it
parent
7069af2f51
commit
dfeea9bb16
|
@ -106,10 +106,11 @@ namespace gtsam {
|
||||||
myData.myJTNode->children.insert(myData.myJTNode->children.end(), childToMerge.children.begin(), childToMerge.children.end());
|
myData.myJTNode->children.insert(myData.myJTNode->children.end(), childToMerge.children.begin(), childToMerge.children.end());
|
||||||
// Increment problem size
|
// Increment problem size
|
||||||
combinedProblemSize = std::max(combinedProblemSize, childToMerge.problemSize_);
|
combinedProblemSize = std::max(combinedProblemSize, childToMerge.problemSize_);
|
||||||
|
// Increment number of frontal variables
|
||||||
|
myNrFrontals += childToMerge.keys.size();
|
||||||
// Remove child from list.
|
// Remove child from list.
|
||||||
myData.myJTNode->children.erase(myData.myJTNode->children.begin() + (child - nrMergedChildren));
|
myData.myJTNode->children.erase(myData.myJTNode->children.begin() + (child - nrMergedChildren));
|
||||||
// Increment number of merged children
|
// Increment number of merged children
|
||||||
myNrFrontals += childToMerge.keys.size();
|
|
||||||
++ nrMergedChildren;
|
++ nrMergedChildren;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in New Issue