feat: make Presence use result_for_not_applicable=NEGATIVE

Author: glichtner

execution_engine/util/logic.py

@@ -802,6 +802,7 @@ def __new__(
         end_time: time | None = None,
         interval_type: TimeIntervalType | None = None,
         interval_criterion: BaseExpr | None = None,
+        result_for_not_applicable: IntervalType = IntervalType.NOT_APPLICABLE,
         **kwargs: Any,
     ) -> "TemporalMinCount":
         """
@@ -818,6 +819,7 @@ def __new__(
                 end_time=end_time,
                 interval_type=interval_type,
                 interval_criterion=interval_criterion,
+                result_for_not_applicable=result_for_not_applicable,
             ),
         )
         return self
@@ -844,6 +846,7 @@ def __new__(
         end_time: time | None = None,
         interval_type: TimeIntervalType | None = None,
         interval_criterion: BaseExpr | None = None,
+        result_for_not_applicable: IntervalType = IntervalType.NOT_APPLICABLE,
         **kwargs: Any,
     ) -> "TemporalMaxCount":
         """
@@ -860,6 +863,7 @@ def __new__(
                 end_time=end_time,
                 interval_type=interval_type,
                 interval_criterion=interval_criterion,
+                result_for_not_applicable=result_for_not_applicable,
             ),
         )
         return self
@@ -886,6 +890,7 @@ def __new__(
         end_time: time | None = None,
         interval_type: TimeIntervalType | None = None,
         interval_criterion: BaseExpr | None = None,
+        result_for_not_applicable: IntervalType = IntervalType.NOT_APPLICABLE,
         **kwargs: Any,
     ) -> "TemporalExactCount":
         """
@@ -902,6 +907,7 @@ def __new__(
                 end_time=end_time,
                 interval_type=interval_type,
                 interval_criterion=interval_criterion,
+                result_for_not_applicable=result_for_not_applicable,
             ),
         )
         return self

execution_engine/util/temporal_logic_util.py

@@ -2,6 +2,7 @@
 
 from execution_engine.util import logic
 from execution_engine.util.enum import TimeIntervalType
+from execution_engine.util.interval import IntervalType
 
 
 def Presence(
@@ -22,6 +23,7 @@ def Presence(
         start_time=start_time,
         end_time=end_time,
         interval_criterion=interval_criterion,
+        result_for_not_applicable=IntervalType.NEGATIVE,
     )