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

added until utility function

Browse source
This commit is contained in:
Marcell Vazquez-Chanlatte 2017-01-04 13:33:22 -08:00
parent 39885d3fe0
commit 2d1ce4bf13
1 changed files with 4 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

6
stl/utils.py
View file

@ -131,14 +131,16 @@ def from_mtl(phi:MTL, ap_map:Dict[AtomicPred, LinEq]) -> STL:
return focus.modify(ap_map.get)
# EDSL
def alw(phi, *, lo, hi):
return G(Interval(lo, hi), phi)
def env(phi, *, lo, hi):
return F(Interval(lo, hi), phi)
def until(phi, *, lo, hi):
raise NotImplementedError
def until(phi1, phi2, *, lo, hi):
return stl.ast.Until(Interval(lo, hi), phi1, phi2)
def andf(*args):
return reduce(op.and_, args, stl.And(tuple()))