Esempio n. 1
0
def geq(lhs, rhs):
    return constraint(lhs, GT, rhs)
Esempio n. 2
0
def eq(lhs, rhs):
    return constraint(lhs, EQ, rhs)
Esempio n. 3
0
def leq(lhs, rhs):
    return constraint(lhs, LT, rhs)
Esempio n. 4
0
def geq(lhs, rhs):
    return constraint(lhs, GT, rhs)
Esempio n. 5
0
def eq(lhs, rhs):
    return constraint(lhs, EQ, rhs)
Esempio n. 6
0
def leq(lhs, rhs):
    return constraint(lhs, LT, rhs)