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