relational_expr

Classes

EqualityExpression(args)

Equality expression.

InequalityExpression(args, strict)

Inequality expressions, which define less-than or less-than-or-equal relations.

NotEqualExpression(args)

Not-equal expression.

RangedExpression(args, strict)

Ranged expressions, which define relations with a lower and upper bound.

RelationalExpression(args)

Functions

inequality([lower, body, upper, strict])

A utility function that can be used to declare inequality and ranged inequality expressions. The expression::.

tuple_to_relational_expr(args)