Comparison Operations

Functions for building comparison conditions. More...

Functions
Condition	sdfg::symbolic::Eq (const Expression lhs, const Expression rhs)
	Equality comparison.
Condition	sdfg::symbolic::Ne (const Expression lhs, const Expression rhs)
	Inequality comparison.
Condition	sdfg::symbolic::Lt (const Expression lhs, const Expression rhs)
	Less-than comparison.
Condition	sdfg::symbolic::Gt (const Expression lhs, const Expression rhs)
	Greater-than comparison.
Condition	sdfg::symbolic::Le (const Expression lhs, const Expression rhs)
	Less-than-or-equal comparison.
Condition	sdfg::symbolic::Ge (const Expression lhs, const Expression rhs)
	Greater-than-or-equal comparison.

Detailed Description

Functions for building comparison conditions.

These functions construct relational comparison expressions that evaluate to boolean conditions. Used extensively in loop bounds and conditional statements.

Function Documentation

Eq()

Condition sdfg::symbolic::Eq	(	const Expression	lhs,
		const Expression	rhs )

Equality comparison.

Parameters

lhs	Left-hand side expression
rhs	Right-hand side expression

Returns

Condition representing (lhs == rhs)

Ge()

Condition sdfg::symbolic::Ge	(	const Expression	lhs,
		const Expression	rhs )

Greater-than-or-equal comparison.

Parameters

lhs	Left-hand side expression
rhs	Right-hand side expression

Returns

Condition representing (lhs >= rhs)

Gt()

Condition sdfg::symbolic::Gt	(	const Expression	lhs,
		const Expression	rhs )

Greater-than comparison.

Parameters

lhs	Left-hand side expression
rhs	Right-hand side expression

Returns

Condition representing (lhs > rhs)

Le()

Condition sdfg::symbolic::Le	(	const Expression	lhs,
		const Expression	rhs )

Less-than-or-equal comparison.

Parameters

lhs	Left-hand side expression
rhs	Right-hand side expression

Returns

Condition representing (lhs <= rhs)

Lt()

Condition sdfg::symbolic::Lt	(	const Expression	lhs,
		const Expression	rhs )

Less-than comparison.

Parameters

lhs	Left-hand side expression
rhs	Right-hand side expression

Returns

Condition representing (lhs < rhs)

Ne()

Condition sdfg::symbolic::Ne	(	const Expression	lhs,
		const Expression	rhs )

Inequality comparison.

Parameters

lhs	Left-hand side expression
rhs	Right-hand side expression

Returns

Condition representing (lhs != rhs)