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)
TrivialRelationalExpression(name, args)	A trivial relational expression

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)