From 5683a6902fbaaf16ab3dd55b6bdd8aeee9584bf4 Mon Sep 17 00:00:00 2001
From: Shromona MacBook <shromona.ghosh@berkeley.edu>
Date: Thu, 8 Dec 2016 22:13:10 -0800
Subject: [PATCH] Updated globally and conjunction

---
 stl/fastboolean_eval.py | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/stl/fastboolean_eval.py b/stl/fastboolean_eval.py
index 498edf5..89729ed 100644
--- a/stl/fastboolean_eval.py
+++ b/stl/fastboolean_eval.py
@@ -22,10 +22,10 @@ def _(stl):
 @pointwise_satf.register(stl.And)
 def _(stl):
     def sat_comp(x,t):
-        sat = bitarray(len(t))
+        sat = ~bitarray(len(t))
         for arg in stl.args:
-            sat = ~pointwise_satf(arg)(x, t) | ~sat
-        return ~sat
+            sat = ~(~pointwise_satf(arg)(x, t) | ~sat)            
+        return sat
     return sat_comp