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

better bounds checking for get_times in boolean circuit

Browse source
This commit is contained in:
Marcell Vazquez-Chanlatte 2017-04-24 00:07:48 -07:00
parent 5d3e2ed354
commit 8f5035a9e3
1 changed files with 4 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

6
stl/boolean_eval.py
View file

@ -33,8 +33,10 @@ def get_times(x, tau, lo=None, hi=None):
lo = min(v.first()[0] for v in x.values()) lo = min(v.first()[0] for v in x.values())
if hi is None or hi is oo: if hi is None or hi is oo:
hi = max(v.last()[0] for v in x.values()) hi = max(v.last()[0] for v in x.values())
lo += tau end = min(v.domain.end() for v in x.values())
hi += tau hi = hi + tau if hi + tau <= end else end
lo = lo + tau if lo + tau <= end else end
if lo > hi: if lo > hi:
return [] return []
elif hi == lo: elif hi == lo: