Skip to content
Snippets Groups Projects
Commit e7089d5c authored by Jaime Arias's avatar Jaime Arias
Browse files

fix: use && instead of and for compilation

parent 83a7d8c5
No related branches found
No related tags found
No related merge requests found
Pipeline #9297 passed
......@@ -125,12 +125,12 @@ set<int> net::calcul1() const {
if (!t.post.empty()) {
bool is_unobs = false;
for (const auto& p : t.post) {
if ((places[p.first]).pre.size() == 1 &&
!(places[p.first]).post.empty()) {
if ((places[p.first].pre.size() == 1) &&
(!places[p.first].post.empty())) {
for (const auto& tt : places[p.first].post) {
for (const auto& pp : transitions[tt.first].pre) {
if (pp.first == p.first and
(places[p.first]).marking < pp.second) {
if ((pp.first == p.first) &&
(places[p.first].marking < pp.second)) {
unobs.insert(i);
is_unobs = true;
break;
......
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