Skip to content
Snippets Groups Projects
Commit 73c1594b authored by Joan Solà Ortega's avatar Joan Solà Ortega
Browse files

Update problem.cpp

parent e20da159
No related branches found
No related tags found
No related merge requests found
......@@ -1731,14 +1731,6 @@ bool Problem::check(int verbose_level) const
if (found_here) cout << " Fo" << Fo->id();
found = found || found_here;
// Find in Captures of the constrained Frame
for (auto FoC : Fo->getCaptureList())
{
sb_vec = FoC->getStateBlockVec();
found_here = (std::find(sb_vec.begin(), sb_vec.end(), sb) != sb_vec.end());
if (found_here) cout << " FoC" << FoC->id();
found = found || found_here;
}
}
// find in constrained Capture
......@@ -1750,6 +1742,16 @@ bool Problem::check(int verbose_level) const
found = found || found_here;
}
// Find in other Captures of the constrained Frame
if (!found_here && Fo)
for (auto FoC : Fo->getCaptureList())
{
sb_vec = FoC->getStateBlockVec();
found_here = (std::find(sb_vec.begin(), sb_vec.end(), sb) != sb_vec.end());
if (found_here) cout << " FoC" << FoC->id();
found = found || found_here;
}
// find in constrained Feature
if (fo)
{
......
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