From 8a292d053943c7d23d7b8140d8642824b6b8e6b5 Mon Sep 17 00:00:00 2001 From: Marcell Vazquez-Chanlatte Date: Mon, 11 Feb 2019 16:20:50 -0800 Subject: [PATCH] Support returning entire satisifaction signal --- mtl/evaluator.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/mtl/evaluator.py b/mtl/evaluator.py index 42b4e71..045ec57 100644 --- a/mtl/evaluator.py +++ b/mtl/evaluator.py @@ -57,6 +57,9 @@ def pointwise_sat(phi, dt=0.1): if not quantitative: sig = booleanize_signal(sig) + if t is None: + return [(t, v[phi]) for t, v in f(sig).items()] + res = interp(f(sig), t, phi) return res if quantitative else res > 0