def walk_bool_constant(self, formula, **kwargs):
if formula.constant_value():
return mathsat.msat_make_true(self.msat_env())
else:
return mathsat.msat_make_false(self.msat_env())
def walk_bool_constant(self, formula, **kwargs):
if formula.constant_value():
return mathsat.msat_make_true(self.msat_env)
else:
return mathsat.msat_make_false(self.msat_env)
def walk_and(self, formula, args, **kwargs):
res = mathsat.msat_make_true(self.msat_env())
for a in args:
res = mathsat.msat_make_and(self.msat_env(), res, a)
return res
def walk_and(self, formula, args, **kwargs):
res = mathsat.msat_make_true(self.msat_env)
for a in args:
res = mathsat.msat_make_and(self.msat_env, res, a)
return res
