← Back to branch summary

~tapaal-ltl/verifypn/spot-integration

« back to all changes in this revision

Viewing changes to src/LTL/LTL_algorithm/NestedDepthFirstSearch.cpp

  • Committer: Nikolaj Jensen Ulrik
  • Date: 2020-10-19 12:35:11 UTC
  • Revision ID: nikolaj@njulrik.dk-20201019123511-yhxkthos6d6u1hj2
Optimizations cleanup

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/LTL/LTL_algorithm/NestedDepthFirstSearch.cpp
54
54
                todo.pop(curState);
55
55
                call_stack.pop();
56
56
            } else {
57
 
                call_stack.push(states.lookup(curState).second);
 
57
                call_stack.push(states.add(curState).second);
58
58
                if (!mark1.add(curState).first) {
59
59
                    continue;
60
60
                }