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

Revert "added stl lipschitz computation bound"

Browse source 
This reverts commit eeb543fa34.
This commit is contained in:
Marcell Vazquez-Chanlatte 2017-03-20 10:49:41 -07:00
parent 367e9001ff
commit 6489667970
1 changed files with 0 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
stl/utils.py
View file

@ -121,7 +121,6 @@ def from_mtl(phi:MTL, ap_map:Dict[AtomicPred, LinEq]) -> STL:
focus = AP_lens(phi) focus = AP_lens(phi)
return focus.modify(ap_map.get) return focus.modify(ap_map.get)
def linear_stl_lipschitz(phi): def linear_stl_lipschitz(phi):
r = max(abs(c) for c in terms_lens(phi).coeff.get_all()) r = max(abs(c) for c in terms_lens(phi).coeff.get_all())
try: try:
@ -129,7 +128,6 @@ def linear_stl_lipschitz(phi):
except TypeError: except TypeError:
return r return r
# EDSL # EDSL
def alw(phi, *, lo, hi): def alw(phi, *, lo, hi):