Simplified TAR printTrace

TAPAAL · Sep 11, 2023 · 4663d36 · 4663d36
1 parent a94e5ac
commit 4663d36
Showing 1 changed file with 0 additions and 11 deletions.
diff --git a/src/PetriEngine/TAR/TARReachability.cpp b/src/PetriEngine/TAR/TARReachability.cpp
@@ -424,17 +424,6 @@ namespace PetriEngine {
                 auto& tname = _net.transitionNames()[t.get_edge_cnt() - 1];
                 std::cerr << "\t<transition id=\"" << *tname << "\" index=\"" << (t.get_edge_cnt() - 1) <<  "\">\n";
 
-                // well, yeah, we are not really efficient in constructing the trace.
-                // feel free to improve
-                auto pre = _net.preset(t.get_edge_cnt() - 1);
-                for(; pre.first != pre.second; ++pre.first)
-                {
-                    for(size_t token = 0; token < pre.first->tokens; ++token )
-                    {
-                        std::cerr << "\t\t<token place=\"" << *_net.placeNames()[pre.first->place] << "\" age=\"0\"/>\n";
-                    }
-                }
-
                 if(_reducer != nullptr)
                     _reducer->extraConsume(std::cerr, *tname);