Rounding sampled date to avoid float drift with the GUI, not optimal …

…but works
TAPAAL · Sep 6, 2024 · c3720c5 · c3720c5
1 parent b831985
commit c3720c5
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 10 deletions.
diff --git a/include/Core/TAPN/StochasticStructure.hpp b/include/Core/TAPN/StochasticStructure.hpp
@@ -95,6 +95,7 @@ namespace VerifyTAPN::SMC {
                     date = std::geometric_distribution(parameters.geometric.p)(engine);
                     break;
             }
+            date = round(date * 100000) / 100000;
             return std::max(date, 0.0);
         }
 

diff --git a/src/DiscreteVerification/VerificationTypes/SMCVerification.cpp b/src/DiscreteVerification/VerificationTypes/SMCVerification.cpp
@@ -296,16 +296,6 @@ SMCVerification::createTokenNode(rapidxml::xml_document<> &doc, const TAPN::Time
     xml_attribute<> *ageAttribute = doc.allocate_attribute("age", doc.allocate_string(
             str.c_str()));
     tokenNode->append_attribute(ageAttribute);
-    if (place.getMaxConstant() < token.getAge()) {
-        xml_attribute<> *gtAttribute = doc.allocate_attribute("greaterThanOrEqual",
-                                                                doc.allocate_string("true"));
-        tokenNode->append_attribute(gtAttribute);
-    } else {
-        xml_attribute<> *gtAttribute = doc.allocate_attribute("greaterThanOrEqual",
-                                                                doc.allocate_string("false"));
-        tokenNode->append_attribute(gtAttribute);
-    }
-
     return tokenNode;
 }