LC-Expressions and LC-Semantics - Event Occurrence - How do I express a logic statement that checks if an event "ever" occurred?
Describe your Question or Problem
Does an Event have history?
How do I express a logic statement that checks if an event "ever" occurred?
OPTION-1A was True in the history records (and possibly is still true):
saftey_checker1: @ego_ttcThresholdReached1 was True
OPTION-1B was True in the history records (and possibly is still true):
saftey_checker1: True in history(@ego_ttcThresholdReached1)
OPTION-2 occurred / was True in the history records:
saftey_checker1: @ego_ttcThresholdReached1 occurred
OPTION-3 event is True right now:
saftey_checker1: @ego_ttcThresholdReached1 == True
OPTION-4 when did an event occur:
time_event_occurred: timestamp(@ego_ttcThresholdReached1)
print(time_event_occurred)
OPTION-5 history of when event occurred:
history_of_time_event_occurred: timestamp(history(@ego_ttcThresholdReached1))
print(history_of_time_event_occurred)