예제 #1
0
def geq(lhs, rhs):
    return constraint(lhs, GT, rhs)
예제 #2
0
def eq(lhs, rhs):
    return constraint(lhs, EQ, rhs)
예제 #3
0
def leq(lhs, rhs):
    return constraint(lhs, LT, rhs)
예제 #4
0
def geq(lhs, rhs):
    return constraint(lhs, GT, rhs)
예제 #5
0
def eq(lhs, rhs):
    return constraint(lhs, EQ, rhs)
예제 #6
0
def leq(lhs, rhs):
    return constraint(lhs, LT, rhs)