srdatalog.ir.dialects.relation.sorted_array

relation.sorted_array dialect.

Index-aware ops for sorted-array relation storage. Currently covers the M1-M3 subset:

M1: SaRoot, SaValid, SaDegree, SaGetVal, SaGetValAt. M3: SaHint, SaPrefCoop, SaIterators, SaChildRange.

Planned (M4+): SaPref (for nested CJ), SaExists (for negation), SaValues, SaPrefLb (lower-bound prefix).

See docs/ir_lowering_semantics.md §10 for the lowering rules and docs/stage2_emitter_audit.md §6 for the plugin-dispatched expression shapes the target lowering produces.

Submodules

• srdatalog.ir.dialects.relation.sorted_array.lowerings
• srdatalog.ir.dialects.relation.sorted_array.ops
• srdatalog.ir.dialects.relation.sorted_array.print
• srdatalog.ir.dialects.relation.sorted_array.types

Package Contents

Data

DIALECT
__all__

API

srdatalog.ir.dialects.relation.sorted_array.DIALECT

‘Dialect(…)’

srdatalog.ir.dialects.relation.sorted_array.__all__

[‘DIALECT’, ‘SaChildRange’, ‘SaDegree’, ‘SaGetVal’, ‘SaGetValAt’, ‘SaGetValAtPos’, ‘SaHandle’, ‘SaHi…