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

default value in andf/orf utility functions is now TOP

Browse source
This commit is contained in:
Marcell Vazquez-Chanlatte 2017-02-27 22:08:23 -08:00
parent bdd3b468a8
commit ff0253438d
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
stl/utils.py
View file

@ -131,10 +131,10 @@ def until(phi1, phi2, *, lo, hi):
return stl.ast.Until(Interval(lo, hi), phi1, phi2) return stl.ast.Until(Interval(lo, hi), phi1, phi2)
def andf(*args): def andf(*args):
return reduce(op.and_, args, None) return reduce(op.and_, args, stl.TOP)
def orf(*args): def orf(*args):
return reduce(op.or_, args, None) return reduce(op.or_, args, stl.TOP)
def implies(x, y): def implies(x, y):
return ~x | y return ~x | y