Expaad FTP so that LTLSIM can simulate requirements with FTP in them

NASA-SW-VnV · May 5, 2022 · 597598c · 597598c
1 parent 4778272
commit 597598c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/fret-electron/support/xform.js b/fret-electron/support/xform.js
@@ -109,6 +109,7 @@ const futureTemporalConditions = [
     ]
 
 const pastTemporalConditions = [
+    ['FTP', trueFn, '(! (Y TRUE))'],
     ['persisted(__n,__p)',trueFn,'((H[<=__n] __p) & (H[<__n] ! $Left$))'],
     ['occurred(__n,__p)',trueFn,'(((! $Left$) S __p) & (O[<=__n] __p))'],
     ['prevOcc(__p,__q)', trueFn, '(Y ((! $Left$ & !__p) S (__p & __q)))']