From 940cd7a487271e172f2aab86acbf1eac14c85f6b Mon Sep 17 00:00:00 2001 From: vl241552 <vincent.lorrain@cea.fr> Date: Wed, 29 Nov 2023 13:33:27 +0000 Subject: [PATCH] fix/56 --- src/graphRegex/matchFsm/FsmEdge.cpp | 20 ++++++++++---------- 1 file changed, 10 insertions(+), 10 deletions(-) diff --git a/src/graphRegex/matchFsm/FsmEdge.cpp b/src/graphRegex/matchFsm/FsmEdge.cpp index d16dcf950..374272c76 100644 --- a/src/graphRegex/matchFsm/FsmEdge.cpp +++ b/src/graphRegex/matchFsm/FsmEdge.cpp @@ -42,7 +42,7 @@ void FsmEdge::reSetDestNode(const std::shared_ptr<FsmNode>& newDest){ } void FsmEdge::propagateRelativePos(void){ - std::set<int> myRelativeID; + std::set<std::size_t> myRelativeID; for (const auto& kvp : mRelativePos) { myRelativeID.insert(kvp.first); } @@ -56,31 +56,31 @@ void FsmEdge::propagateRelativePos(void){ } - std::set<int> nextRelativeID; + std::set<std::size_t> nextRelativeID; for (const auto& kvp : nextEdge->getRelative()) { nextRelativeID.insert(kvp.first); } // Find elements in myRelativeID but not in nextRelativeID - std::set<int> idxsToPush; + std::set<std::size_t> idxsToPush; std::set_difference(myRelativeID.begin(), myRelativeID.end(), nextRelativeID.begin(), nextRelativeID.end(), std::inserter(idxsToPush, idxsToPush.begin())); // Find elements in nextRelativeID but not in myRelativeID - std::set<int> idxsToGet; + std::set<std::size_t> idxsToGet; std::set_difference(nextRelativeID.begin(), nextRelativeID.end(), myRelativeID.begin(), myRelativeID.end(), std::inserter(idxsToGet, idxsToGet.begin())); - // test for integrity we look if 2 edge refert to the samme + // test for integrity we look if 2 edge refer to the same // ref and are link the ref dif is one // not working for common node // we can go deeper by find the all pass to a ref and see if the delta is good // Find elements present in both myRelativeID and nextRelativeID - std::set<int> idxsTotest; - for (int idx : nextRelativeID){ + std::set<std::size_t> idxsTotest; + for (std::size_t idx : nextRelativeID){ if (myRelativeID.find(idx) != myRelativeID.end()){ if (std::abs(getRelative().at(idx) - nextEdge->getRelative().at(idx)) != 1) { throw std::runtime_error("Bad relative"); @@ -90,10 +90,10 @@ void FsmEdge::propagateRelativePos(void){ - // this egde have more relative info than the next + // this edge have more relative info than the next std::map<size_t,int> tmpRelative; // we push this info to the next - for( auto idxToPush :idxsToPush ){ + for(std::size_t idxToPush :idxsToPush ){ tmpRelative.insert( std::make_pair(idxToPush, getRelative().at(idxToPush) +1)); } if(tmpRelative.size() != 0){ @@ -104,7 +104,7 @@ void FsmEdge::propagateRelativePos(void){ // the next node have more info than me i need to get it - for( auto idxToGet :idxsToGet ){ + for( std::size_t idxToGet :idxsToGet ){ tmpRelative.insert( std::make_pair(idxToGet, nextEdge->getRelative().at(idxToGet) -1)); } if(tmpRelative.size() != 0){ -- GitLab