From ff0253438d7a6f19bdfbeb0b5dfd47a0206fb5a8 Mon Sep 17 00:00:00 2001 From: Marcell Vazquez-Chanlatte Date: Mon, 27 Feb 2017 22:08:23 -0800 Subject: [PATCH] default value in andf/orf utility functions is now TOP --- stl/utils.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/stl/utils.py b/stl/utils.py index cb578a8..5bcb6d5 100644 --- a/stl/utils.py +++ b/stl/utils.py @@ -131,10 +131,10 @@ def until(phi1, phi2, *, lo, hi): return stl.ast.Until(Interval(lo, hi), phi1, phi2) def andf(*args): - return reduce(op.and_, args, None) + return reduce(op.and_, args, stl.TOP) def orf(*args): - return reduce(op.or_, args, None) + return reduce(op.or_, args, stl.TOP) def implies(x, y): return ~x | y