Unified infinity format with the GUI

TAPAAL · Sep 23, 2024 · bc24e33 · bc24e33
1 parent 4331b6d
commit bc24e33
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/src/Core/TAPN/TimedArcPetriNet.cpp b/src/Core/TAPN/TimedArcPetriNet.cpp
@@ -347,7 +347,10 @@ namespace TAPN {
             out << "<transition player=\"" << (transition->isControllable() ? 0 : 1)
                 << "\" id=\"" << transition->getName() << "\" name=\"" << transition->getName()
                 << "\" urgent=\"" << std::boolalpha << transition->isUrgent() 
-                << "\" weight=\"" << transition->getWeight()
+                << "\" weight=\"" << (
+                    transition->getWeight() == std::numeric_limits<double>::infinity() ?
+                    "Infinity" : std::to_string(transition->getWeight())
+                )
                 << "\" firingMode=\"" << SMC::firingModeName(transition->getFiringMode())
                 << "\" " << transition->getDistribution().toXML()
                 << ">\n";