Exemple #1
0
 def walk_lt(self, formula, args, **kwargs):
     leq = mathsat.msat_make_leq(self.msat_env(), args[1], args[0])
     return mathsat.msat_make_not(self.msat_env(), leq)
Exemple #2
0
 def walk_lt(self, formula, args, **kwargs):
     leq = mathsat.msat_make_leq(self.msat_env, args[1], args[0])
     return mathsat.msat_make_not(self.msat_env, leq)
Exemple #3
0
 def walk_le(self, formula, args, **kwargs):
     return mathsat.msat_make_leq(self.msat_env(), args[0], args[1])
Exemple #4
0
 def walk_le(self, formula, args, **kwargs):
     return mathsat.msat_make_leq(self.msat_env, args[0], args[1])