Beispiel #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)
Beispiel #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)
Beispiel #3
0
 def walk_le(self, formula, args, **kwargs):
     return mathsat.msat_make_leq(self.msat_env(), args[0], args[1])
Beispiel #4
0
 def walk_le(self, formula, args, **kwargs):
     return mathsat.msat_make_leq(self.msat_env, args[0], args[1])