From 99e0995287108a158ed8d3bb691ddc2e97600d2f Mon Sep 17 00:00:00 2001 From: Marcell Vazquez-Chanlatte Date: Tue, 28 Feb 2017 15:07:06 -0800 Subject: [PATCH] fix importing of pointwise_sat from fastrobustness --- stl/__init__.py | 3 ++- stl/synth.py | 2 +- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/stl/__init__.py b/stl/__init__.py index 97a97ea..a64d0fa 100644 --- a/stl/__init__.py +++ b/stl/__init__.py @@ -3,6 +3,7 @@ from stl.utils import alw, env, andf, orf from stl.ast import dt_sym, t_sym, TOP, BOT from stl.ast import LinEq, Interval, NaryOpSTL, Or, And, F, G, ModalOp, Neg, Var, AtomicPred from stl.parser import parse -from stl.synth import lex_param_project from stl.fastboolean_eval import pointwise_sat +from stl.synth import lex_param_project from stl.types import STL +from stl.robustness import pointwise_robustness diff --git a/stl/synth.py b/stl/synth.py index 1637009..2777805 100644 --- a/stl/synth.py +++ b/stl/synth.py @@ -1,7 +1,7 @@ import operator as op from stl.utils import set_params, param_lens -from stl.boolean_eval import pointwise_sat +from stl import pointwise_sat from lenses import lens