teaching/mtl-aas
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Updated globally and conjunction

Browse source
This commit is contained in:
Shromona MacBook 2016-12-08 22:13:10 -08:00
parent 6f20a4811c
commit 5683a6902f
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
stl/fastboolean_eval.py
View file

@ -22,10 +22,10 @@ def _(stl):
@pointwise_satf.register(stl.And) @pointwise_satf.register(stl.And)
def _(stl): def _(stl):
def sat_comp(x,t): def sat_comp(x,t):
sat = bitarray(len(t)) sat = ~bitarray(len(t))
for arg in stl.args: for arg in stl.args:
sat = ~pointwise_satf(arg)(x, t) | ~sat sat = ~(~pointwise_satf(arg)(x, t) | ~sat)
return ~sat return sat
return sat_comp return sat_comp