Python QuantLT Examples

Example #1

File: sqlbind.py Project: wilsonify/ppw

def predqge(list, context):
    [exp, gt, eq, allany, p1, subq, p2] = list
    from sqlsem import QuantGE, QuantLT
    if allany=="ANY":
       return QuantGE(exp, subq)
    else:
       return ~QuantLT(exp, subq)

Example #2

File: sqlbind.py Project: wilsonify/ppw

def predqlt(list, context):
    [exp, lt, allany, p1, subq, p2] = list
    from sqlsem import QuantLT, QuantGE
    if allany=="ANY":
       return QuantLT(exp, subq)
    else:
       return ~QuantGE(exp, subq)