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

Merge pull request #8 from shromonag/master

Browse source 
Modified fastboolean eval to fix initialization randomness
This commit is contained in:
Marcell Vazquez-Chanlatte 2017-02-26 16:42:29 -08:00 • committed by GitHub
commit 60b2e0a69a
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
stl/fastboolean_eval.py
View file

@ -14,6 +14,7 @@ def bool_op(stl, conjunction=False):
f = and_ if conjunction else or_ f = and_ if conjunction else or_
def sat_comp(x,t): def sat_comp(x,t):
sat = bitarray(len(t)) sat = bitarray(len(t))
sat.setall(True) if conjunction else sat.setall(False)
for arg in stl.args: for arg in stl.args:
sat = f(pointwise_satf(arg)(x, t), sat) sat = f(pointwise_satf(arg)(x, t), sat)
return sat return sat