From 8a74b8836916c7868747285b7e9364c4092710ce Mon Sep 17 00:00:00 2001
From: Marcell Vazquez-Chanlatte <mvc@linux.com>
Date: Mon, 11 Feb 2019 16:59:13 -0800
Subject: [PATCH] propogate boolean semantics to sat signal

---
 mtl/evaluator.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/mtl/evaluator.py b/mtl/evaluator.py
index 045ec57..49cfd62 100644
--- a/mtl/evaluator.py
+++ b/mtl/evaluator.py
@@ -58,7 +58,8 @@ def pointwise_sat(phi, dt=0.1):
             sig = booleanize_signal(sig)
 
         if t is None:
-            return [(t, v[phi]) for t, v in f(sig).items()]
+            res = [(t, v[phi]) for t, v in f(sig).items()]
+            return res if not quantitative else [(t, v > 0 for t, v in res)]
 
         res = interp(f(sig), t, phi)
         return res if quantitative else res > 0