Example #1
0
 def ineq_cond(self, e1, e2):
     return expr.Op("!=", e1, e2)
Example #2
0
 def times_expr(self, e1, e2):
     return expr.Op("*", e1, e2)
Example #3
0
 def eq_cond(self, e1, e2):
     return expr.Op("==", e1, e2)
Example #4
0
 def uminus_expr(self, e):
     return expr.Op("-", e)
Example #5
0
 def minus_expr(self, e1, e2):
     return expr.Op("-", e1, e2)
Example #6
0
 def less_cond(self, e1, e2):
     return expr.Op("<", e1, e2)
Example #7
0
 def plus_expr(self, e1, e2):
     return expr.Op("+", e1, e2)
Example #8
0
 def less_eq_cond(self, e1, e2):
     return expr.Op("<=", e1, e2)
Example #9
0
 def neg(self, b):
     return expr.Op("~", b)
Example #10
0
 def imp(self, b1, b2):
     return expr.Op("-->", b1, b2)
Example #11
0
 def disj(self, b1, b2):
     return expr.Op("|", b1, b2)
Example #12
0
 def conj(self, b1, b2):
     return expr.Op("&", b1, b2)