def walk_times(self, formula, args, **kwargs):
return mathsat.msat_make_times(self.msat_env(), args[0], args[1])
def walk_times(self, formula, args, **kwargs):
return mathsat.msat_make_times(self.msat_env, args[0], args[1])
def walk_minus(self, formula, args, **kwargs):
n_one = mathsat.msat_make_number(self.msat_env(), "-1")
n_s2 = mathsat.msat_make_times(self.msat_env(), n_one, args[1])
return mathsat.msat_make_plus(self.msat_env(), args[0], n_s2)
def walk_minus(self, formula, args, **kwargs):
n_one = mathsat.msat_make_number(self.msat_env, "-1")
n_s2 = mathsat.msat_make_times(self.msat_env, n_one, args[1])
return mathsat.msat_make_plus(self.msat_env, args[0], n_s2)
