def ineq_cond(self, e1, e2):
return expr.Op("!=", e1, e2)
def times_expr(self, e1, e2):
return expr.Op("*", e1, e2)
def eq_cond(self, e1, e2):
return expr.Op("==", e1, e2)
def uminus_expr(self, e):
return expr.Op("-", e)
def minus_expr(self, e1, e2):
return expr.Op("-", e1, e2)
def less_cond(self, e1, e2):
return expr.Op("<", e1, e2)
def plus_expr(self, e1, e2):
return expr.Op("+", e1, e2)
def less_eq_cond(self, e1, e2):
return expr.Op("<=", e1, e2)
def neg(self, b):
return expr.Op("~", b)
def imp(self, b1, b2):
return expr.Op("-->", b1, b2)
def disj(self, b1, b2):
return expr.Op("|", b1, b2)
def conj(self, b1, b2):
return expr.Op("&", b1, b2)