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

Modified fastboolean eval

Browse source
This commit is contained in:
Shromona MacBook 2017-02-26 12:05:30 -08:00
parent 00eec50f79
commit a13741da69
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