From 374b080c42535e174ce2ed45f63a404e65841442 Mon Sep 17 00:00:00 2001 From: Marcell Vazquez-Chanlatte Date: Tue, 11 Oct 2016 10:52:52 -0700 Subject: [PATCH] add depenedencies + bounds checks --- boolean_eval.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/boolean_eval.py b/boolean_eval.py index 40f39be..2912f7f 100644 --- a/boolean_eval.py +++ b/boolean_eval.py @@ -27,14 +27,14 @@ def _(stl): @pointwise_sat.register(stl.F) def _(stl): lo, hi = stl.interval - return lambda x, t: any((pointwise_sat(stl.arg)(x, t + t2) + return lambda x, t: any((pointwise_sat(stl.arg)(x, min(t + t2, x.index[-1])) for t2 in x[lo:hi].index)) @pointwise_sat.register(stl.G) def _(stl): lo, hi = stl.interval - return lambda x, t: all((pointwise_sat(stl.arg)(x, t + t2) + return lambda x, t: all((pointwise_sat(stl.arg)(x, min(t + t2, x.index[-1])) for t2 in x[lo:hi].index))