condition parsing fix

Change-Id: I08ab5e96a74b1a53b7613eca4576cd99bba3695a
This commit is contained in:
Elisha Rosensweig 2016-04-05 13:24:41 +03:00
parent 262a424eb1
commit 200a433bbf

View File

@ -192,9 +192,9 @@ class Template(object):
@staticmethod
def convert_to_dnf_format(condition_str):
condition_str = condition_str.replace('and', '&')
condition_str = condition_str.replace('or', '|')
condition_str = condition_str.replace('not ', '~')
condition_str = condition_str.replace(' and ', '&')
condition_str = condition_str.replace(' or ', '|')
condition_str = condition_str.replace(' not ', '~')
return sympy_to_dfn(condition_str)