def eval(self,cond):
if il.is_false(cond):
return False
if il.is_true(cond):
return True
print 'assuming: {}'.format(cond)
return True
def eval(self, cond):
truth = self.model.eval_to_constant(cond)
if lg.is_false(truth):
return False
elif lg.is_true(truth):
return True
assert False, truth
def eval(self,cond):
if il.is_false(cond):
res = False
elif il.is_true(cond):
res = True
else:
res = il.is_true(self.aiger.get_sym(cond))
# print 'eval: {} = {}'.format(cond,res)
return res
