From b3bba24336e23468c45f13fe50caa592814f6473 Mon Sep 17 00:00:00 2001 From: Marcell Vazquez-Chanlatte Date: Sun, 26 Nov 2017 20:40:44 -0800 Subject: [PATCH] make t=0 default in boolean eval --- stl/ast.py | 2 +- stl/boolean_eval.py | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/stl/ast.py b/stl/ast.py index f5f9858..b368bba 100644 --- a/stl/ast.py +++ b/stl/ast.py @@ -91,7 +91,7 @@ class AST(object): while phi2 != phi: phi2, phi = phi, AP_lens(phi).modify(update) - # TODO: this is hack to flatten the AST. Fix! + return phi def __hash__(self): diff --git a/stl/boolean_eval.py b/stl/boolean_eval.py index e2467ed..87baf82 100644 --- a/stl/boolean_eval.py +++ b/stl/boolean_eval.py @@ -24,7 +24,7 @@ def negate_trace(x): def pointwise_sat(phi, dt=0.1): ap_names = [z.id for z in phi.atomic_predicates] - def _eval_stl(x, t, dt=0.1): + def _eval_stl(x, t=0): evaluated = stl.utils.eval_lineqs(phi, x) evaluated.update(fn.project(x, ap_names))