neuralqx.experimental.operators.symbolic.ir.predicates module

Typed predicate-expression IR nodes for symbolic operators.

class PredicateExpr(op, args=<factory>)

Bases: object

Typed boolean expression node for operator branch filtering.

op

Predicate operation name.

args

Ordered operation arguments.

coerce_predicate_expr(value)

Coerces user values into typed predicate-expression nodes.

Parameters:

value (Any) – Input predicate value.

Return type:

PredicateExpr

Returns:

Typed predicate expression.

Raises:

TypeError – If value cannot be converted.

_collect_free_symbols_pred(expr, result)

Recursively collects free symbol names from a PredicateExpr.

Return type:

None

_render_predicate(expr)

Renders a PredicateExpr as a readable infix boolean string.

Return type:

str