teaching/mtl-aas
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

add depenedencies + bounds checks

Browse source
This commit is contained in:
Marcell Vazquez-Chanlatte 2016-10-11 10:52:52 -07:00
parent b040a6c425
commit 374b080c42
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
boolean_eval.py
View file

@ -27,14 +27,14 @@ def _(stl):
@pointwise_sat.register(stl.F) @pointwise_sat.register(stl.F)
def _(stl): def _(stl):
lo, hi = stl.interval 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)) for t2 in x[lo:hi].index))
@pointwise_sat.register(stl.G) @pointwise_sat.register(stl.G)
def _(stl): def _(stl):
lo, hi = stl.interval 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)) for t2 in x[lo:hi].index))