Index _ | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | R | S | T | U | V | W _ __all__ (in module srdatalog) (in module srdatalog.compile) (in module srdatalog.dataset_const) (in module srdatalog.ir.codegen.cuda) (in module srdatalog.ir.codegen.cuda.api) (in module srdatalog.ir.codegen.cuda.emit) (in module srdatalog.ir.codegen.cuda.envelope) (in module srdatalog.ir.codegen.cuda.render) (in module srdatalog.ir.codegen.cuda.render.parallel_data) (in module srdatalog.ir.codegen.cuda.runner) (in module srdatalog.ir.core) (in module srdatalog.ir.core.passes) (in module srdatalog.ir.dialects.iir.cf) (in module srdatalog.ir.dialects.iir.cf.print) (in module srdatalog.ir.dialects.parallel.data) (in module srdatalog.ir.dialects.parallel.data.block_group) (in module srdatalog.ir.dialects.parallel.data.print) (in module srdatalog.ir.dialects.relation.d2l) (in module srdatalog.ir.dialects.relation.d2l.ops) (in module srdatalog.ir.dialects.relation.d2l.print) (in module srdatalog.ir.dialects.relation.sorted_array) (in module srdatalog.ir.dialects.relation.sorted_array.print) (in module srdatalog.ir.print_iir) __and__() (srdatalog.dsl.Agg method) (srdatalog.dsl.Atom method) (srdatalog.dsl.Conjunction method) (srdatalog.dsl.Filter method) (srdatalog.dsl.Let method) (srdatalog.dsl.Negation method) (srdatalog.dsl.Split method) __call__() (srdatalog.dsl.Relation method) __del__() (srdatalog.ffi.wrapper.DatalogFFI method) __getattr__() (srdatalog.ir.codegen.cuda.build.loader.JitRuntime method) __invert__() (srdatalog.dsl.Atom method) __le__() (srdatalog.dsl.Atom method) (srdatalog.dsl.HeadGroup method) __or__() (srdatalog.dsl.Atom method) (srdatalog.dsl.HeadGroup method) __post_init__() (srdatalog.dsl.Program method) __repr__() (srdatalog.dsl.Const method) (srdatalog.dsl.Relation method) (srdatalog.dsl.Var method) __slots__ (srdatalog.dsl.Const attribute) (srdatalog.dsl.Relation attribute) (srdatalog.dsl.Var attribute) __str__() (srdatalog.ir.codegen.cuda.schema.FactDefinition method) (srdatalog.ir.codegen.cuda.schema.SchemaDefinition method) (srdatalog.ir.core.verifier.VerificationError method) __version__ (in module srdatalog) A access_order (srdatalog.ir.hir.types.AccessPattern attribute) access_patterns (srdatalog.ir.hir.types.HirRuleVariant attribute) AccessPattern (class in srdatalog.ir.hir.types) add() (srdatalog.dsl.Program method) add_hir_transform() (srdatalog.ir.hir.pass_.Pipeline method) add_kernel() (srdatalog.ir.codegen.cuda.build.cache.JitBatchManager method) add_kernel_declaration() (srdatalog.ir.codegen.cuda.build.cache.JitBatchManager method) add_rule_rewrite() (srdatalog.ir.hir.pass_.Pipeline method) AddCount (class in srdatalog.ir.dialects.iir.cf.ops) after_hook (srdatalog.ir.hir.types.HirStratum attribute) Agg (class in srdatalog.dsl) agg() (in module srdatalog.dsl) agg_func (srdatalog.ir.mir.types.Aggregate attribute) Aggregate (class in srdatalog.ir.mir.types) all_() (in module srdatalog.ir.core.strategy) all_dests_independent() (in module srdatalog.ir.codegen.cuda.orchestrator) analyze_rule() (in module srdatalog.ir.hir.plan) apply (srdatalog.ir.core.passes.Lowering attribute) (srdatalog.ir.core.passes.Rewrite attribute) apply_all_mir_passes() (in module srdatalog.ir.mir.passes) apply_balanced_scan_pass() (in module srdatalog.ir.mir.passes) apply_clause_order_reordering() (in module srdatalog.ir.mir.passes) apply_prefix_source_reordering() (in module srdatalog.ir.mir.passes) ArgKind (class in srdatalog.dsl) args (srdatalog.dsl.Agg attribute) (srdatalog.dsl.Atom attribute) argtypes (srdatalog.ir.codegen.cuda.build.loader.EntryPoint attribute) artifact (srdatalog.ir.codegen.cuda.build.compiler.BuildResult attribute) assert_never() (in module srdatalog.ir.core) assign_handle_positions() (in module srdatalog.ir.codegen.cuda.envelope) (in module srdatalog.ir.codegen.cuda.pipeline_utils) assign_handles() (in module srdatalog.ir.codegen.cuda.helpers) Atom (class in srdatalog.dsl) atom (srdatalog.dsl.Negation attribute) atoms (srdatalog.dsl.HeadGroup attribute) B balanced_idx1 (srdatalog.ir.codegen.cuda.context.CodeGenContext attribute) balanced_idx2 (srdatalog.ir.codegen.cuda.context.CodeGenContext attribute) balanced_root (srdatalog.dsl.PlanEntry attribute) (srdatalog.ir.hir.types.HirRuleVariant attribute) balanced_sources (srdatalog.dsl.PlanEntry attribute) (srdatalog.ir.hir.types.HirRuleVariant attribute) BalancedScan (class in srdatalog.ir.mir.types) BalancedScanInfo (class in srdatalog.ir.codegen.cuda.pipeline_utils) base_slot (srdatalog.ir.dialects.parallel.data.block_group.BgSourceSpec attribute) (srdatalog.ir.dialects.relation.d2l.ops.D2lSegmentLoop attribute) base_variants (srdatalog.ir.hir.types.HirStratum attribute) batch_count() (srdatalog.ir.codegen.cuda.build.cache.JitBatchManager method) batch_var (srdatalog.ir.dialects.relation.sorted_array.ops.SaTiledCartesian2D attribute) batches (srdatalog.ir.codegen.cuda.build.cache.JitProjectLayout attribute) before_hook (srdatalog.ir.hir.types.HirStratum attribute) bg_cumulative_var (srdatalog.ir.codegen.cuda.context.CodeGenContext attribute) bg_done_var (srdatalog.ir.codegen.cuda.context.CodeGenContext attribute) bg_enabled (srdatalog.ir.codegen.cuda.context.CodeGenContext attribute) (srdatalog.ir.dialects.relation.sorted_array.lowerings.LoweringCtx attribute) bg_histogram_mode (srdatalog.ir.codegen.cuda.context.CodeGenContext attribute) bg_warp_begin_var (srdatalog.ir.codegen.cuda.context.CodeGenContext attribute) bg_warp_end_var (srdatalog.ir.codegen.cuda.context.CodeGenContext attribute) BgRootCjMulti (class in srdatalog.ir.dialects.parallel.data.block_group) BgSourceSpec (class in srdatalog.ir.dialects.parallel.data.block_group) Bind (class in srdatalog.ir.dialects.iir.cf.ops) bind() (srdatalog.ir.codegen.cuda.build.loader.JitRuntime method) bind_vars (srdatalog.ir.mir.types.PositionedExtract attribute) BlankLine (class in srdatalog.ir.dialects.iir.cf.ops) Block (class in srdatalog.ir.dialects.iir.cf.ops) (class in srdatalog.ir.mir.types) block_group (srdatalog.dsl.PlanEntry attribute) (srdatalog.ir.hir.types.HirRuleVariant attribute) (srdatalog.ir.mir.types.ExecutePipeline attribute) body (srdatalog.dsl.Rule attribute) (srdatalog.ir.dialects.iir.cf.ops.CartesianFlatLoop attribute) (srdatalog.ir.dialects.iir.cf.ops.GridStrideLoop attribute) (srdatalog.ir.dialects.iir.cf.ops.If attribute) (srdatalog.ir.dialects.iir.cf.ops.IntersectIter attribute) (srdatalog.ir.dialects.iir.cf.ops.LaneZeroGuard attribute) (srdatalog.ir.dialects.iir.cf.ops.OuterAnchor attribute) (srdatalog.ir.dialects.iir.cf.ops.ParallelFor attribute) (srdatalog.ir.dialects.iir.cf.ops.Phase attribute) (srdatalog.ir.dialects.parallel.data.block_group.BgRootCjMulti attribute) (srdatalog.ir.dialects.relation.d2l.ops.D2lSegmentLoop attribute) (srdatalog.ir.dialects.relation.sorted_array.ops.SaTiledCartesian2D attribute) BodyClauseT (in module srdatalog.dsl) bottom_up() (in module srdatalog.ir.core.strategy) bound (srdatalog.ir.dialects.iir.cf.ops.GridStrideLoop attribute) bound_var (srdatalog.ir.dialects.iir.cf.ops.CartesianFlatLoop attribute) bound_vars (srdatalog.ir.codegen.cuda.context.CodeGenContext attribute) (srdatalog.ir.dialects.relation.sorted_array.lowerings.LoweringCtx attribute) (srdatalog.ir.mir.types.InnerPipeline attribute) build_and_load() (in module srdatalog.ir.codegen.cuda.build.loader) build_dest_stream_map() (in module srdatalog.ir.codegen.cuda.orchestrator) build_project() (in module srdatalog.build) build_root_slot_map() (in module srdatalog.ir.codegen.cuda.view_slots) BuildResult (class in srdatalog.ir.codegen.cuda.build.compiler) C cached (srdatalog.ir.codegen.cuda.build.compiler.CompileResult attribute) canonical_index (srdatalog.ir.hir.types.HirStratum attribute) (srdatalog.ir.mir.types.ComputeDeltaIndex attribute) (srdatalog.ir.mir.types.PostStratumReconstructInternCols attribute) canonical_index() (in module srdatalog.ir.hir.index) canonical_indices (srdatalog.ir.pipeline.CompileResult attribute) Cartesian2DDecompose (class in srdatalog.ir.dialects.iir.cf.ops) cartesian_as_product (srdatalog.ir.codegen.cuda.context.CodeGenContext attribute) cartesian_bound_vars (srdatalog.ir.codegen.cuda.context.CodeGenContext attribute) (srdatalog.ir.codegen.cuda.helpers.CodeGenContext attribute) (srdatalog.ir.dialects.relation.sorted_array.lowerings.LoweringCtx attribute) CartesianFlatLoop (class in srdatalog.ir.dialects.iir.cf.ops) CartesianJoin (class in srdatalog.ir.mir.types) CartesianNDecompose (class in srdatalog.ir.dialects.iir.cf.ops) CheckSize (class in srdatalog.ir.mir.types) choice() (in module srdatalog.ir.core.strategy) clause_idx (srdatalog.ir.hir.types.AccessPattern attribute) (srdatalog.ir.mir.types.ColumnSource attribute) clause_order (srdatalog.dsl.PlanEntry attribute) (srdatalog.ir.hir.types.HirRuleVariant attribute) (srdatalog.ir.mir.types.ExecutePipeline attribute) clause_vars (srdatalog.ir.hir.plan.RuleAnalysis attribute) clause_versions (srdatalog.ir.hir.types.HirRuleVariant attribute) ClauseArg (class in srdatalog.dsl) clauses (srdatalog.dsl.Conjunction attribute) ClearRelation (class in srdatalog.ir.mir.types) close() (srdatalog.ir.codegen.cuda.build.loader.JitRuntime method) cmd_compile() (in module srdatalog.cli) cmd_emit() (in module srdatalog.cli) cmd_info() (in module srdatalog.cli) code (srdatalog.dsl.Filter attribute) (srdatalog.dsl.Let attribute) (srdatalog.ir.hir.types.Version property) (srdatalog.ir.mir.types.ConstantBind attribute) (srdatalog.ir.mir.types.Filter attribute) (srdatalog.ir.mir.types.InjectCppHook attribute) CodeGenContext (class in srdatalog.ir.codegen.cuda.context) (class in srdatalog.ir.codegen.cuda.helpers) CodeGenHooks (class in srdatalog.ir.codegen.cuda.context) col (srdatalog.ir.dialects.relation.sorted_array.ops.SaGetVal attribute) (srdatalog.ir.dialects.relation.sorted_array.ops.SaGetValAtPos attribute) col0 (srdatalog.ir.dialects.relation.sorted_array.ops.SaTiledCartesian2D attribute) col1 (srdatalog.ir.dialects.relation.sorted_array.ops.SaTiledCartesian2D attribute) collect_canonical_specs() (in module srdatalog.ir.codegen.cuda.orchestrator) collect_unique_view_specs() (in module srdatalog.ir.codegen.cuda.envelope) (in module srdatalog.ir.codegen.cuda.helpers) (in module srdatalog.ir.codegen.cuda.view_slots) column (srdatalog.ir.mir.types.GatherColumn attribute) ColumnJoin (class in srdatalog.ir.mir.types) ColumnSource (class in srdatalog.ir.mir.types) command (srdatalog.ir.codegen.cuda.build.compiler.CompileResult attribute) Comment (class in srdatalog.ir.dialects.iir.cf.ops) compile_cpp() (in module srdatalog.ir.codegen.cuda.build.compiler) compile_jit_project() (in module srdatalog.ir.codegen.cuda.build.compiler) compile_jit_project_ninja() (in module srdatalog.ir.codegen.cuda.build.compiler_ninja) compile_kernel_body() (in module srdatalog.ir.codegen.cuda.api) compile_pipeline() (in module srdatalog.ir.codegen.cuda.api) compile_program() (in module srdatalog.ir.pipeline) compile_results (srdatalog.ir.codegen.cuda.build.compiler.BuildResult attribute) compile_runner() (in module srdatalog.ir.codegen.cuda.api) compile_to_hir() (in module srdatalog.ir.hir) (srdatalog.ir.hir.pass_.Pipeline method) compile_to_mir() (in module srdatalog.ir.hir) Compiler (class in srdatalog.ir.core.dialect) COMPILER_GEN (srdatalog.ir.hir.provenance.ProvenanceKind attribute) compiler_gen() (in module srdatalog.ir.hir.provenance) CompilerConfig (class in srdatalog.ir.codegen.cuda.build.compiler) CompileResult (class in srdatalog.ir.codegen.cuda.build.compiler) (class in srdatalog.ir.pipeline) complete_index() (in module srdatalog.ir.hir.index) compute_access_pattern() (in module srdatalog.ir.hir.plan) compute_clause_order() (in module srdatalog.ir.hir.plan) compute_temp_vars() (in module srdatalog.ir.hir.plan) compute_total_view_count() (in module srdatalog.ir.codegen.cuda.view_slots) compute_var_order_from_clauses() (in module srdatalog.ir.hir.plan) compute_view_slot_offsets() (in module srdatalog.ir.codegen.cuda.view_slots) ComputeDelta (class in srdatalog.ir.mir.types) ComputeDeltaIndex (class in srdatalog.ir.mir.types) concurrent_write (srdatalog.ir.mir.types.ExecutePipeline attribute) cond (srdatalog.ir.dialects.iir.cf.ops.If attribute) (srdatalog.ir.dialects.iir.cf.ops.IfContinueIfNot attribute) (srdatalog.ir.dialects.iir.cf.ops.IfReturnIfNot attribute) Conjunction (class in srdatalog.dsl) Const (class in srdatalog.dsl) CONST (srdatalog.dsl.ArgKind attribute) const_args (srdatalog.ir.hir.types.AccessPattern attribute) (srdatalog.ir.mir.types.Negation attribute) const_cpp_expr (srdatalog.dsl.ClauseArg attribute) const_value (srdatalog.dsl.ClauseArg attribute) ConstantBind (class in srdatalog.ir.mir.types) ConstantRewritePass (class in srdatalog.ir.hir.rule_rewrite) consumes (srdatalog.ir.core.passes.Lowering attribute) (srdatalog.ir.core.passes.Rewrite attribute) COOPERATIVE (srdatalog.ir.codegen.cuda.plugin.PrefixMode attribute) count (srdatalog.dsl.Rule attribute) (srdatalog.ir.hir.types.HirRuleVariant attribute) (srdatalog.ir.mir.types.ExecutePipeline attribute) count() (in module srdatalog.dsl) count_handles() (in module srdatalog.ir.codegen.cuda.envelope) count_handles_in_pipeline() (in module srdatalog.ir.codegen.cuda.pipeline_utils) count_only (srdatalog.ir.hir.types.RelationDecl attribute) cpp() (in module srdatalog.dsl) CPP_CODE (srdatalog.dsl.ArgKind attribute) cpp_code (srdatalog.dsl.ClauseArg attribute) cpp_headers (srdatalog.ir.codegen.cuda.plugin.IndexPlugin attribute) CPP_KEYWORDS (in module srdatalog.ir.codegen.cuda.context) cpp_type (srdatalog.dsl.Agg attribute) (srdatalog.ir.codegen.cuda.plugin.IndexPlugin attribute) create_base_variant() (in module srdatalog.ir.hir.semi_naive) create_delta_variant() (in module srdatalog.ir.hir.semi_naive) CreateFlatView (class in srdatalog.ir.mir.types) cuda_compile_flags() (in module srdatalog.runtime) cuda_include_paths() (in module srdatalog.runtime) cuda_libs() (in module srdatalog.runtime) cuda_link_flags() (in module srdatalog.runtime) cxx (srdatalog.ir.codegen.cuda.build.compiler.CompilerConfig attribute) cxx_flags (srdatalog.ir.codegen.cuda.build.compiler.CompilerConfig attribute) cxx_std (srdatalog.ir.codegen.cuda.build.compiler.CompilerConfig attribute) D D2lSegmentLoop (class in srdatalog.ir.dialects.relation.d2l.ops) DatalogFFI (class in srdatalog.ffi.wrapper) db_alias (srdatalog.ir.pipeline.CompileResult attribute) db_type_name (srdatalog.ir.codegen.cuda.context.RunnerGenState attribute) debug (srdatalog.ir.codegen.cuda.context.CodeGenContext attribute) (srdatalog.ir.dialects.relation.sorted_array.lowerings.LoweringCtx attribute) debug_code (srdatalog.dsl.Rule attribute) dec_indent() (in module srdatalog.ir.codegen.cuda.context) declare (srdatalog.ir.dialects.relation.d2l.ops.D2lSegmentLoop attribute) dedup_hash (srdatalog.dsl.PlanEntry attribute) (srdatalog.ir.dialects.relation.sorted_array.lowerings.LoweringCtx attribute) (srdatalog.ir.hir.types.HirRuleVariant attribute) (srdatalog.ir.mir.types.ExecutePipeline attribute) dedup_hash_enabled (srdatalog.ir.codegen.cuda.context.CodeGenContext attribute) dedup_hash_vars (srdatalog.ir.codegen.cuda.context.CodeGenContext attribute) default_hooks() (in module srdatalog.ir.codegen.cuda.context) default_index() (in module srdatalog.ir.hir.index) default_pipeline() (in module srdatalog.ir.hir) defines (srdatalog.ir.codegen.cuda.build.compiler.CompilerConfig attribute) deg0_var (srdatalog.ir.dialects.iir.cf.ops.Cartesian2DDecompose attribute) deg1_var (srdatalog.ir.dialects.iir.cf.ops.Cartesian2DDecompose attribute) deg_vars (srdatalog.ir.dialects.iir.cf.ops.CartesianNDecompose attribute) degree_var0 (srdatalog.ir.dialects.relation.sorted_array.ops.SaTiledCartesian2D attribute) degree_var1 (srdatalog.ir.dialects.relation.sorted_array.ops.SaTiledCartesian2D attribute) delta (srdatalog.dsl.PlanEntry attribute) (srdatalog.ir.dialects.iir.cf.ops.AddCount attribute) DELTA (srdatalog.ir.hir.types.Version attribute) delta_idx (srdatalog.ir.hir.types.HirRuleVariant attribute) deps (srdatalog.dsl.Let attribute) (srdatalog.ir.mir.types.ConstantBind attribute) depth (srdatalog.ir.dialects.relation.sorted_array.ops.SaHint attribute) derive_clause_order_from_var_order() (in module srdatalog.ir.hir.plan) DERIVED (srdatalog.ir.hir.provenance.ProvenanceKind attribute) derived_from (srdatalog.ir.hir.provenance.Provenance attribute) dest_arities (srdatalog.ir.codegen.cuda.context.RunnerGenState attribute) dest_specs (srdatalog.ir.mir.types.ExecutePipeline attribute) detect_split() (in module srdatalog.ir.hir.plan) device_db (srdatalog.ir.pipeline.CompileResult attribute) Dialect (class in srdatalog.ir.core.dialect) DIALECT (in module srdatalog.ir.codegen.cuda) (in module srdatalog.ir.dialects.iir.cf) (in module srdatalog.ir.dialects.parallel.data) (in module srdatalog.ir.dialects.relation.d2l) (in module srdatalog.ir.dialects.relation.sorted_array) (in module srdatalog.ir.hir) (in module srdatalog.ir.mir) DIALECT_UNIFY (srdatalog.ir.hir.pass_.PassLevel attribute) dialects (srdatalog.ir.core.dialect.Compiler property) dir (srdatalog.ir.codegen.cuda.build.cache.JitProjectLayout attribute) E elapsed_sec (srdatalog.ir.codegen.cuda.build.compiler.BuildResult attribute) (srdatalog.ir.codegen.cuda.build.compiler.CompileResult attribute) emit() (in module srdatalog.ir.codegen.cuda.render) emit_bg_histogram_kernel() (in module srdatalog.ir.codegen.cuda.render.parallel_data) emit_build_ninja() (in module srdatalog.ir.codegen.cuda.build.compiler_ninja) emit_count (srdatalog.ir.codegen.cuda.context.CodeGenHooks attribute) emit_dedup_table_struct() (in module srdatalog.ir.codegen.cuda.envelope) emit_execute() (in module srdatalog.ir.codegen.cuda.runner) emit_execute_body (srdatalog.ir.codegen.cuda.context.CodeGenHooks attribute) emit_execute_fused() (in module srdatalog.ir.codegen.cuda.runner) emit_expr() (in module srdatalog.ir.codegen.cuda.render) emit_extra_kernels (srdatalog.ir.codegen.cuda.context.CodeGenHooks attribute) emit_extra_types (srdatalog.ir.codegen.cuda.context.CodeGenHooks attribute) emit_full_file() (in module srdatalog.ir.codegen.cuda.envelope) emit_functor_end() (in module srdatalog.ir.codegen.cuda.envelope) emit_functor_start() (in module srdatalog.ir.codegen.cuda.envelope) emit_grid_config_code() (in module srdatalog.ir.codegen.cuda.runner) emit_hir_json() (in module srdatalog.ir.hir.emit) emit_launch_count() (in module srdatalog.ir.codegen.cuda.runner) emit_launch_fused() (in module srdatalog.ir.codegen.cuda.runner) emit_launch_materialize() (in module srdatalog.ir.codegen.cuda.runner) emit_launch_params_struct() (in module srdatalog.ir.codegen.cuda.runner) emit_materialize (srdatalog.ir.codegen.cuda.context.CodeGenHooks attribute) emit_method_forward_decls() (in module srdatalog.ir.codegen.cuda.runner) emit_phase_methods (srdatalog.ir.codegen.cuda.context.CodeGenHooks attribute) emit_read_fused_result() (in module srdatalog.ir.codegen.cuda.runner) emit_read_total() (in module srdatalog.ir.codegen.cuda.runner) emit_runner_decl() (in module srdatalog.ir.codegen.cuda.runner) emit_runner_full() (in module srdatalog.ir.codegen.cuda.runner) emit_scan_and_resize() (in module srdatalog.ir.codegen.cuda.runner) emit_scan_only() (in module srdatalog.ir.codegen.cuda.runner) emit_struct_type_aliases() (in module srdatalog.ir.codegen.cuda.runner) emit_view_declarations() (in module srdatalog.ir.codegen.cuda.envelope) (in module srdatalog.ir.codegen.cuda.helpers) EmitCtx (class in srdatalog.ir.codegen.cuda.render) end (srdatalog.viz.source.PlanCallSpan attribute) (srdatalog.viz.source.PlanKwargSpan attribute) (srdatalog.viz.source.RuleLocation attribute) end_line (srdatalog.viz.source.RuleLocation attribute) ensure_jit_cache_dir() (in module srdatalog.ir.codegen.cuda.build.cache) EntryPoint (class in srdatalog.ir.codegen.cuda.build.loader) errcheck (srdatalog.ir.codegen.cuda.build.loader.EntryPoint attribute) ExecutePipeline (class in srdatalog.ir.mir.types) expr (srdatalog.ir.dialects.iir.cf.ops.Bind attribute) ext_db (srdatalog.ir.pipeline.CompileResult attribute) extra (srdatalog.ir.dialects.iir.cf.ops.IndentBlock attribute) extra_headers (srdatalog.ir.pipeline.CompileResult attribute) extra_sources (srdatalog.ir.codegen.cuda.build.compiler.CompilerConfig attribute) extract_source_info() (in module srdatalog.ir.codegen.cuda.orchestrator) F FactDefinition (class in srdatalog.ir.codegen.cuda.schema) facts (srdatalog.ir.codegen.cuda.schema.SchemaDefinition attribute) fail() (in module srdatalog.ir.core.strategy) fanout (srdatalog.dsl.PlanEntry attribute) (srdatalog.ir.hir.types.HirRuleVariant attribute) fb_batch_var (srdatalog.ir.dialects.relation.sorted_array.ops.SaTiledCartesian2D attribute) Filter (class in srdatalog.dsl) (class in srdatalog.ir.mir.types) find_cuda_root() (in module srdatalog.runtime) find_rule_locations() (in module srdatalog.viz.source) find_scc_clause_indices() (in module srdatalog.ir.hir.semi_naive) find_source_idx() (in module srdatalog.ir.codegen.cuda.helpers) first_dest_arity() (in module srdatalog.ir.codegen.cuda.envelope) first_index (srdatalog.ir.codegen.cuda.context.RunnerGenState attribute) first_schema (srdatalog.ir.codegen.cuda.context.RunnerGenState attribute) first_version (srdatalog.ir.codegen.cuda.context.RunnerGenState attribute) FixpointPlan (class in srdatalog.ir.mir.types) flat_idx_var (srdatalog.ir.dialects.iir.cf.ops.Cartesian2DDecompose attribute) (srdatalog.ir.dialects.iir.cf.ops.CartesianNDecompose attribute) (srdatalog.ir.dialects.relation.sorted_array.ops.SaTiledCartesian2D attribute) fresh() (srdatalog.ir.dialects.relation.sorted_array.lowerings.LoweringCtx method) FULL (srdatalog.ir.hir.types.Version attribute) func (srdatalog.dsl.Agg attribute) G GatherColumn (class in srdatalog.ir.mir.types) gen_chained_prefix_calls() (in module srdatalog.ir.codegen.cuda.context) gen_chained_prefix_calls_seq() (in module srdatalog.ir.codegen.cuda.context) gen_chained_prefix_with_last_lower_bound() (in module srdatalog.ir.codegen.cuda.context) gen_child (srdatalog.ir.codegen.cuda.plugin.IndexPlugin attribute) gen_child() (in module srdatalog.ir.codegen.cuda.context) gen_child_range (srdatalog.ir.codegen.cuda.plugin.IndexPlugin attribute) gen_child_range() (in module srdatalog.ir.codegen.cuda.context) gen_complete_runner() (in module srdatalog.ir.codegen.cuda.complete_runner) gen_db_alias() (in module srdatalog.ir.codegen.cuda.main_file) gen_db_type_alias_for_batch() (in module srdatalog.ir.codegen.cuda.main_file) gen_degree (srdatalog.ir.codegen.cuda.plugin.IndexPlugin attribute) gen_degree() (in module srdatalog.ir.codegen.cuda.context) gen_extern_c_shim() (in module srdatalog.ir.codegen.cuda.main_file) gen_fixpoint_body() (in module srdatalog.ir.codegen.cuda.orchestrator) gen_get_value (srdatalog.ir.codegen.cuda.plugin.IndexPlugin attribute) gen_get_value() (in module srdatalog.ir.codegen.cuda.context) gen_get_value_at (srdatalog.ir.codegen.cuda.plugin.IndexPlugin attribute) gen_get_value_at() (in module srdatalog.ir.codegen.cuda.context) gen_handle_state_key() (in module srdatalog.ir.codegen.cuda.context) gen_handle_var_name() (in module srdatalog.ir.codegen.cuda.context) gen_host_view_setup (srdatalog.ir.codegen.cuda.plugin.IndexPlugin attribute) gen_index_spec_key() (in module srdatalog.ir.codegen.cuda.context) gen_index_spec_type() (in module srdatalog.ir.codegen.cuda.orchestrator) gen_instruction_code() (in module srdatalog.ir.codegen.cuda.orchestrator) gen_iterators (srdatalog.ir.codegen.cuda.plugin.IndexPlugin attribute) gen_iterators() (in module srdatalog.ir.codegen.cuda.context) gen_kernel_decls_block() (in module srdatalog.ir.codegen.cuda.main_file) gen_load_data_method() (in module srdatalog.ir.codegen.cuda.main_file) gen_main_file_content() (in module srdatalog.ir.codegen.cuda.main_file) gen_main_file_preamble() (in module srdatalog.ir.codegen.cuda.main_file) gen_materialized_join_helpers() (in module srdatalog.ir.codegen.cuda.materialized) gen_materialized_join_kernel() (in module srdatalog.ir.codegen.cuda.materialized) gen_materialized_runner() (in module srdatalog.ir.codegen.cuda.materialized) gen_non_recursive_block() (in module srdatalog.ir.codegen.cuda.orchestrator) gen_prefix (srdatalog.ir.codegen.cuda.plugin.IndexPlugin attribute) gen_prefix_lower_bound (srdatalog.ir.codegen.cuda.plugin.IndexPlugin attribute) gen_relation_typedefs() (in module srdatalog.ir.codegen.cuda.main_file) gen_root_handle (srdatalog.ir.codegen.cuda.plugin.IndexPlugin attribute) gen_root_handle() (in module srdatalog.ir.codegen.cuda.context) gen_root_handle_from_view_idx() (in module srdatalog.ir.codegen.cuda.context) gen_run_dispatcher_file() (in module srdatalog.ir.codegen.cuda.main_file) gen_runner_struct() (in module srdatalog.ir.codegen.cuda.main_file) gen_runner_struct_declonly() (in module srdatalog.ir.codegen.cuda.main_file) gen_runtime_shim_template() (in module srdatalog.ir.codegen.cuda.build.loader) gen_schema_definitions_for_batch() (in module srdatalog.ir.codegen.cuda.main_file) gen_step_body() (in module srdatalog.ir.codegen.cuda.orchestrator) gen_step_shard_file() (in module srdatalog.ir.codegen.cuda.main_file) gen_unique_name() (in module srdatalog.ir.codegen.cuda.context) gen_unity_main_file_content() (in module srdatalog.ir.codegen.cuda.main_file) gen_valid (srdatalog.ir.codegen.cuda.plugin.IndexPlugin attribute) gen_valid() (in module srdatalog.ir.codegen.cuda.context) gen_view_access() (in module srdatalog.ir.codegen.cuda.context) gen_view_var_name() (in module srdatalog.ir.codegen.cuda.context) generate_batch_file() (srdatalog.ir.codegen.cuda.build.cache.JitBatchManager method) generate_batchfile() (in module srdatalog.ir.codegen.cuda.batchfile) generate_column_source() (in module srdatalog.ir.hir.lower) generate_extern_c() (in module srdatalog.ffi.header) generate_insert_into() (in module srdatalog.ir.hir.lower) generate_kernel_decl_header() (srdatalog.ir.codegen.cuda.build.cache.JitBatchManager method) generate_loop_maintenance() (in module srdatalog.ir.hir.lower) generate_merge_indices() (in module srdatalog.ir.hir.lower) generate_pipeline() (in module srdatalog.ir.codegen.cuda.batchfile) generate_prelude() (in module srdatalog.ir.codegen.cuda.batchfile) generate_rebuild_indices() (in module srdatalog.ir.hir.lower) generate_runner() (in module srdatalog.ir.codegen.cuda.batchfile) generate_scan() (in module srdatalog.ir.hir.lower) generate_schema_header() (srdatalog.ir.codegen.cuda.build.cache.JitBatchManager method) generate_simple_maintenance() (in module srdatalog.ir.hir.lower) generate_variants() (in module srdatalog.ir.hir.semi_naive) get_arity() (in module srdatalog.ir.hir.index) get_balanced_scan_info() (in module srdatalog.ir.codegen.cuda.pipeline_utils) get_batch_file_name() (in module srdatalog.ir.codegen.cuda.build.cache) get_batch_prelude() (srdatalog.ir.codegen.cuda.schema.SchemaDefinition method) get_dialect() (srdatalog.ir.core.dialect.Compiler method) get_extra_headers_for_types() (in module srdatalog.ir.codegen.cuda.plugin) get_jit_cache_dir() (in module srdatalog.ir.codegen.cuda.build.cache) get_rel_index_type() (in module srdatalog.ir.codegen.cuda.context) get_source_index() (in module srdatalog.ir.codegen.cuda.view_slots) get_view_slot_base() (in module srdatalog.ir.codegen.cuda.context) get_visualization_bundle() (in module srdatalog.viz.bundle) global_index_map (srdatalog.ir.hir.types.HirProgram attribute) GridStrideLoop (class in srdatalog.ir.dialects.iir.cf.ops) group_size (srdatalog.ir.codegen.cuda.context.CodeGenContext attribute) group_size_var (srdatalog.ir.dialects.iir.cf.ops.CartesianFlatLoop attribute) (srdatalog.ir.dialects.relation.sorted_array.ops.SaTiledCartesian2D attribute) group_var (srdatalog.ir.codegen.cuda.pipeline_utils.BalancedScanInfo attribute) (srdatalog.ir.mir.types.BalancedScan attribute) H handle_idx (srdatalog.ir.codegen.cuda.envelope.ViewSpec attribute) (srdatalog.ir.codegen.cuda.helpers.ViewSpec attribute) (srdatalog.ir.codegen.cuda.view_slots.ViewSpec attribute) handle_name (srdatalog.ir.dialects.relation.sorted_array.ops.SaChildRange attribute) (srdatalog.ir.dialects.relation.sorted_array.ops.SaDegree attribute) (srdatalog.ir.dialects.relation.sorted_array.ops.SaGetValAt attribute) (srdatalog.ir.dialects.relation.sorted_array.ops.SaGetValAtPos attribute) (srdatalog.ir.dialects.relation.sorted_array.ops.SaIterators attribute) (srdatalog.ir.dialects.relation.sorted_array.ops.SaValid attribute) handle_start (srdatalog.ir.mir.types.Aggregate attribute) (srdatalog.ir.mir.types.BalancedScan attribute) (srdatalog.ir.mir.types.CartesianJoin attribute) (srdatalog.ir.mir.types.ColumnJoin attribute) (srdatalog.ir.mir.types.ColumnSource attribute) (srdatalog.ir.mir.types.Negation attribute) (srdatalog.ir.mir.types.Scan attribute) handle_var (srdatalog.ir.dialects.parallel.data.block_group.BgSourceSpec attribute) handle_var0 (srdatalog.ir.dialects.relation.sorted_array.ops.SaTiledCartesian2D attribute) handle_var1 (srdatalog.ir.dialects.relation.sorted_array.ops.SaTiledCartesian2D attribute) handle_vars (srdatalog.ir.codegen.cuda.context.CodeGenContext attribute) (srdatalog.ir.dialects.relation.sorted_array.lowerings.LoweringCtx attribute) has_balanced_scan() (in module srdatalog.ir.codegen.cuda.pipeline_utils) has_tiled_cartesian_eligible() (in module srdatalog.ir.codegen.cuda.pipeline_utils) has_vendored_deps() (in module srdatalog.runtime) head (srdatalog.dsl.Rule property) head_vars (srdatalog.ir.hir.plan.RuleAnalysis attribute) HeadConstantRewritePass (class in srdatalog.ir.hir.rule_rewrite) HeadGroup (class in srdatalog.dsl) heads (srdatalog.dsl.Rule attribute) hi_var (srdatalog.ir.dialects.relation.sorted_array.ops.SaHint attribute) hint_hi (srdatalog.ir.dialects.parallel.data.block_group.BgRootCjMulti attribute) hint_lo (srdatalog.ir.dialects.parallel.data.block_group.BgRootCjMulti attribute) HIR (srdatalog.ir.hir.pass_.IRLevel attribute) hir (srdatalog.ir.pipeline.CompileResult attribute) hir_to_obj() (in module srdatalog.ir.hir.emit) HIR_TRANSFORM (srdatalog.ir.hir.pass_.PassLevel attribute) HirProgram (class in srdatalog.ir.hir.types) HirRuleVariant (class in srdatalog.ir.hir.types) HirStratum (class in srdatalog.ir.hir.types) HirTransformPass (class in srdatalog.ir.hir.pass_) hooks (srdatalog.ir.codegen.cuda.context.CodeGenContext attribute) I id_() (in module srdatalog.ir.core.strategy) idx0_var (srdatalog.ir.dialects.iir.cf.ops.Cartesian2DDecompose attribute) (srdatalog.ir.dialects.relation.sorted_array.ops.SaTiledCartesian2D attribute) idx1_var (srdatalog.ir.dialects.iir.cf.ops.Cartesian2DDecompose attribute) (srdatalog.ir.dialects.relation.sorted_array.ops.SaTiledCartesian2D attribute) idx_name (srdatalog.ir.dialects.iir.cf.ops.GridStrideLoop attribute) idx_var (srdatalog.ir.dialects.iir.cf.ops.CartesianFlatLoop attribute) idx_var_name (srdatalog.ir.dialects.relation.sorted_array.ops.SaGetVal attribute) (srdatalog.ir.dialects.relation.sorted_array.ops.SaGetValAt attribute) (srdatalog.ir.dialects.relation.sorted_array.ops.SaGetValAtPos attribute) idx_vars (srdatalog.ir.dialects.iir.cf.ops.CartesianNDecompose attribute) If (class in srdatalog.ir.dialects.iir.cf.ops) IfContinueIfNot (class in srdatalog.ir.dialects.iir.cf.ops) IfReturnIfNot (class in srdatalog.ir.dialects.iir.cf.ops) in_cartesian_vars (srdatalog.ir.codegen.cuda.context.NegPreNarrowInfo attribute) (srdatalog.ir.dialects.relation.sorted_array.lowerings.NegPreNarrowInfo attribute) inc_indent() (in module srdatalog.ir.codegen.cuda.context) include_paths (srdatalog.ir.codegen.cuda.build.compiler.CompilerConfig attribute) ind() (in module srdatalog.ir.codegen.cuda.context) (srdatalog.ir.codegen.cuda.render.EmitCtx method) indent (srdatalog.ir.codegen.cuda.context.CodeGenContext attribute) indent_level (srdatalog.ir.codegen.cuda.render.EmitCtx attribute) IndentBlock (class in srdatalog.ir.dialects.iir.cf.ops) index (srdatalog.ir.codegen.cuda.envelope.ViewSpec attribute) (srdatalog.ir.codegen.cuda.helpers.ViewSpec attribute) (srdatalog.ir.codegen.cuda.view_slots.ViewSpec attribute) (srdatalog.ir.mir.types.Aggregate attribute) (srdatalog.ir.mir.types.ColumnSource attribute) (srdatalog.ir.mir.types.ComputeDelta attribute) (srdatalog.ir.mir.types.CreateFlatView attribute) (srdatalog.ir.mir.types.InsertInto attribute) (srdatalog.ir.mir.types.MergeIndex attribute) (srdatalog.ir.mir.types.Negation attribute) (srdatalog.ir.mir.types.RebuildIndex attribute) (srdatalog.ir.mir.types.Scan attribute) index_cols (srdatalog.ir.hir.types.AccessPattern attribute) index_type (srdatalog.ir.codegen.cuda.context.NegPreNarrowInfo attribute) (srdatalog.ir.dialects.parallel.data.block_group.BgSourceSpec attribute) (srdatalog.ir.hir.types.RelationDecl attribute) IndexPlugin (class in srdatalog.ir.codegen.cuda.plugin) IndexSelectionPass (class in srdatalog.ir.hir.index) info (srdatalog.ir.hir.index.IndexSelectionPass attribute) (srdatalog.ir.hir.pass_.HirTransformPass attribute) (srdatalog.ir.hir.pass_.RuleRewritePass attribute) (srdatalog.ir.hir.plan.JoinPlannerPass attribute) (srdatalog.ir.hir.rule_rewrite.ConstantRewritePass attribute) (srdatalog.ir.hir.rule_rewrite.HeadConstantRewritePass attribute) (srdatalog.ir.hir.rule_rewrite.SemiJoinPass attribute) (srdatalog.ir.hir.rule_rewrite.WildcardRewritePass attribute) (srdatalog.ir.hir.semi_naive.SemiNaiveVariantPass attribute) (srdatalog.ir.hir.split.TempIndexRegistrationPass attribute) (srdatalog.ir.hir.split.TempRelSynthesisPass attribute) (srdatalog.ir.hir.stratify.StratificationPass attribute) InjectCppHook (class in srdatalog.ir.mir.types) inner_ops (srdatalog.ir.mir.types.InnerPipeline attribute) InnerPipeline (class in srdatalog.ir.mir.types) INPUT (srdatalog.ir.codegen.cuda.schema.Pragma attribute) input_buffer (srdatalog.ir.mir.types.GatherColumn attribute) (srdatalog.ir.mir.types.ProbeJoin attribute) input_file (srdatalog.ir.hir.types.RelationDecl attribute) input_handles (srdatalog.ir.mir.types.InnerPipeline attribute) insert_pre_reconstruct_rebuilds() (in module srdatalog.ir.mir.passes) InsertInto (class in srdatalog.ir.mir.types) inside_cartesian (srdatalog.ir.codegen.cuda.context.CodeGenContext attribute) (srdatalog.ir.dialects.relation.sorted_array.lowerings.LoweringCtx attribute) inside_cartesian_join (srdatalog.ir.codegen.cuda.helpers.CodeGenContext attribute) instructions (srdatalog.ir.mir.types.Block attribute) (srdatalog.ir.mir.types.FixpointPlan attribute) intersect_var (srdatalog.ir.dialects.iir.cf.ops.IntersectIter attribute) IntersectIter (class in srdatalog.ir.dialects.iir.cf.ops) IRLevel (class in srdatalog.ir.hir.pass_) is_balanced (srdatalog.ir.codegen.cuda.context.RunnerGenState attribute) is_block_group (srdatalog.ir.codegen.cuda.context.RunnerGenState attribute) is_count (srdatalog.ir.codegen.cuda.context.RunnerGenState attribute) is_count_only_pipeline() (in module srdatalog.ir.codegen.cuda.orchestrator) is_counting (srdatalog.ir.codegen.cuda.context.CodeGenContext attribute) (srdatalog.ir.codegen.cuda.helpers.CodeGenContext attribute) (srdatalog.ir.dialects.parallel.data.block_group.BgRootCjMulti attribute) (srdatalog.ir.dialects.relation.sorted_array.lowerings.LoweringCtx attribute) is_dedup_hash (srdatalog.ir.codegen.cuda.context.RunnerGenState attribute) is_fan_out_explore (srdatalog.ir.codegen.cuda.context.CodeGenContext attribute) is_generated (srdatalog.dsl.Rule attribute) (srdatalog.ir.hir.types.HirStratum attribute) (srdatalog.ir.hir.types.RelationDecl attribute) is_jit_mode (srdatalog.ir.codegen.cuda.context.CodeGenContext attribute) (srdatalog.ir.codegen.cuda.helpers.CodeGenContext attribute) is_leaf_level (srdatalog.ir.codegen.cuda.context.CodeGenContext attribute) is_materialized_pipeline() (in module srdatalog.ir.codegen.cuda.materialized) is_recursive (srdatalog.ir.hir.types.HirStratum attribute) is_temp (srdatalog.ir.hir.types.RelationDecl attribute) is_var_bound() (in module srdatalog.ir.codegen.cuda.context) is_work_stealing (srdatalog.ir.codegen.cuda.context.RunnerGenState attribute) iter_var (srdatalog.ir.dialects.iir.cf.ops.IntersectIter attribute) iterator_exprs (srdatalog.ir.dialects.iir.cf.ops.IntersectIter attribute) J JIT_COMMON_INCLUDES (in module srdatalog.ir.codegen.cuda.build.cache) jit_emit_view_declarations() (in module srdatalog.ir.codegen.cuda.view_slots) JIT_FILE_FOOTER (in module srdatalog.ir.codegen.cuda.build.cache) (in module srdatalog.ir.codegen.cuda.envelope) JIT_FILE_PRELUDE (in module srdatalog.ir.codegen.cuda.envelope) JitBatchManager (class in srdatalog.ir.codegen.cuda.build.cache) JitProjectLayout (class in srdatalog.ir.codegen.cuda.build.cache) JitRuntime (class in srdatalog.ir.codegen.cuda.build.loader) jobs (srdatalog.ir.codegen.cuda.build.compiler.CompilerConfig attribute) join_key (srdatalog.ir.mir.types.ProbeJoin attribute) join_vars (srdatalog.ir.hir.plan.RuleAnalysis attribute) (srdatalog.ir.hir.types.HirRuleVariant attribute) JoinPlannerPass (class in srdatalog.ir.hir.plan) K kernel_header (srdatalog.ir.codegen.cuda.build.cache.JitProjectLayout attribute) key_idx_var (srdatalog.ir.dialects.parallel.data.block_group.BgRootCjMulti attribute) key_var (srdatalog.ir.dialects.relation.sorted_array.ops.SaChildRange attribute) (srdatalog.ir.dialects.relation.sorted_array.ops.SaPrefCoop attribute) (srdatalog.ir.dialects.relation.sorted_array.ops.SaPrefSeq attribute) kind (srdatalog.dsl.ClauseArg attribute) (srdatalog.ir.hir.provenance.Provenance attribute) kwarg (srdatalog.viz.source.PlanKwargSpan attribute) kwargs (srdatalog.viz.source.PlanCallSpan attribute) L lane_var (srdatalog.ir.dialects.iir.cf.ops.CartesianFlatLoop attribute) (srdatalog.ir.dialects.relation.sorted_array.ops.SaTiledCartesian2D attribute) LaneZeroGuard (class in srdatalog.ir.dialects.iir.cf.ops) Let (class in srdatalog.dsl) level (srdatalog.ir.hir.pass_.PassInfo attribute) libs (srdatalog.ir.codegen.cuda.build.compiler.CompilerConfig attribute) link_flags (srdatalog.ir.codegen.cuda.build.compiler.CompilerConfig attribute) link_result (srdatalog.ir.codegen.cuda.build.compiler.BuildResult attribute) link_shared() (in module srdatalog.ir.codegen.cuda.build.compiler) lo_var (srdatalog.ir.dialects.relation.sorted_array.ops.SaHint attribute) load_data() (srdatalog.ffi.wrapper.DatalogFFI method) load_meta() (in module srdatalog.dataset_const) load_program() (in module srdatalog.viz.introspect) local_view_var (srdatalog.ir.dialects.relation.d2l.ops.D2lSegmentLoop attribute) lower_hir_to_mir() (in module srdatalog.ir.hir.lower) lower_hir_to_mir_steps() (in module srdatalog.ir.hir.lower) lower_scan_pipeline() (in module srdatalog.ir.dialects.relation.sorted_array.lowerings) lower_split_above() (in module srdatalog.ir.hir.lower) lower_split_below() (in module srdatalog.ir.hir.lower) lower_variant_to_pipeline() (in module srdatalog.ir.hir.lower) Lowering (class in srdatalog.ir.core.passes) LOWERING (srdatalog.ir.hir.pass_.PassLevel attribute) lowering() (in module srdatalog.ir.core.passes) LoweringCtx (class in srdatalog.ir.dialects.relation.sorted_array.lowerings) lowerings (srdatalog.ir.core.dialect.Dialect attribute) LVAR (srdatalog.dsl.ArgKind attribute) M main (srdatalog.ir.codegen.cuda.build.cache.JitProjectLayout attribute) main() (in module srdatalog.cli) (in module srdatalog.viz.__main__) major_var (srdatalog.ir.dialects.iir.cf.ops.Cartesian2DDecompose attribute) (srdatalog.ir.dialects.relation.sorted_array.ops.SaTiledCartesian2D attribute) matches (srdatalog.ir.core.passes.Lowering attribute) (srdatalog.ir.core.passes.Rewrite attribute) MAX_BATCH_FILES (in module srdatalog.ir.codegen.cuda.build.cache) MergeIndex (class in srdatalog.ir.mir.types) MergeRelation (class in srdatalog.ir.mir.types) message (srdatalog.ir.core.verifier.VerificationError attribute) method (srdatalog.ir.hir.types.Version property) mir (srdatalog.ir.pipeline.CompileResult attribute) MIR_BINARY (srdatalog.ir.hir.pass_.IRLevel attribute) MIR_MATERIALIZED (srdatalog.ir.hir.pass_.IRLevel attribute) MIR_OPTIMIZE (srdatalog.ir.hir.pass_.PassLevel attribute) MIR_UNIFIED (srdatalog.ir.hir.pass_.IRLevel attribute) MIR_WCOJ (srdatalog.ir.hir.pass_.IRLevel attribute) MirNode (in module srdatalog.ir.mir.types) mode (srdatalog.ir.dialects.iir.cf.ops.Phase attribute) module srdatalog srdatalog.build srdatalog.cli srdatalog.compile srdatalog.dataset_const srdatalog.dsl srdatalog.ffi srdatalog.ffi.header srdatalog.ffi.wrapper srdatalog.ir srdatalog.ir.codegen srdatalog.ir.codegen.cuda srdatalog.ir.codegen.cuda.api srdatalog.ir.codegen.cuda.batchfile srdatalog.ir.codegen.cuda.build srdatalog.ir.codegen.cuda.build.cache srdatalog.ir.codegen.cuda.build.compiler srdatalog.ir.codegen.cuda.build.compiler_ninja srdatalog.ir.codegen.cuda.build.loader srdatalog.ir.codegen.cuda.complete_runner srdatalog.ir.codegen.cuda.context srdatalog.ir.codegen.cuda.emit srdatalog.ir.codegen.cuda.envelope srdatalog.ir.codegen.cuda.helpers srdatalog.ir.codegen.cuda.main_file srdatalog.ir.codegen.cuda.materialized srdatalog.ir.codegen.cuda.orchestrator srdatalog.ir.codegen.cuda.pipeline_utils srdatalog.ir.codegen.cuda.plugin srdatalog.ir.codegen.cuda.render srdatalog.ir.codegen.cuda.render.d2l srdatalog.ir.codegen.cuda.render.iir_cf srdatalog.ir.codegen.cuda.render.parallel_data srdatalog.ir.codegen.cuda.render.sorted_array srdatalog.ir.codegen.cuda.runner srdatalog.ir.codegen.cuda.schema srdatalog.ir.codegen.cuda.view_slots srdatalog.ir.core srdatalog.ir.core.dialect srdatalog.ir.core.ops srdatalog.ir.core.passes srdatalog.ir.core.pattern srdatalog.ir.core.strategy srdatalog.ir.core.verifier srdatalog.ir.dialects srdatalog.ir.dialects.iir srdatalog.ir.dialects.iir.cf srdatalog.ir.dialects.iir.cf.ops srdatalog.ir.dialects.iir.cf.print srdatalog.ir.dialects.parallel srdatalog.ir.dialects.parallel.data srdatalog.ir.dialects.parallel.data.block_group srdatalog.ir.dialects.parallel.data.print srdatalog.ir.dialects.relation srdatalog.ir.dialects.relation.d2l srdatalog.ir.dialects.relation.d2l.cuda srdatalog.ir.dialects.relation.d2l.ops srdatalog.ir.dialects.relation.d2l.print srdatalog.ir.dialects.relation.sorted_array 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 srdatalog.ir.hir srdatalog.ir.hir.emit srdatalog.ir.hir.index srdatalog.ir.hir.lower srdatalog.ir.hir.pass_ srdatalog.ir.hir.plan srdatalog.ir.hir.provenance srdatalog.ir.hir.rule_rewrite srdatalog.ir.hir.semi_naive srdatalog.ir.hir.split srdatalog.ir.hir.stratify srdatalog.ir.hir.types srdatalog.ir.mir srdatalog.ir.mir.passes srdatalog.ir.mir.print srdatalog.ir.mir.types srdatalog.ir.pipeline srdatalog.ir.print_iir srdatalog.runtime srdatalog.viz srdatalog.viz.__main__ srdatalog.viz.bundle srdatalog.viz.html srdatalog.viz.introspect srdatalog.viz.patch srdatalog.viz.source mutable_pipe (srdatalog.ir.codegen.cuda.context.RunnerGenState attribute) N name (srdatalog.dsl.Rule attribute) (srdatalog.ir.codegen.cuda.build.loader.EntryPoint attribute) (srdatalog.ir.codegen.cuda.plugin.IndexPlugin attribute) (srdatalog.ir.codegen.cuda.schema.FactDefinition attribute) (srdatalog.ir.core.dialect.Dialect attribute) (srdatalog.ir.core.passes.Lowering attribute) (srdatalog.ir.core.passes.Rewrite attribute) (srdatalog.ir.dialects.iir.cf.ops.Bind attribute) (srdatalog.ir.dialects.iir.cf.ops.VarRef attribute) (srdatalog.ir.hir.pass_.PassInfo attribute) (srdatalog.viz.source.RuleLocation attribute) name_counter (srdatalog.ir.codegen.cuda.context.CodeGenContext attribute) (srdatalog.ir.dialects.relation.sorted_array.lowerings.LoweringCtx attribute) named() (srdatalog.dsl.Rule method) neg_pre_narrow (srdatalog.ir.codegen.cuda.context.CodeGenContext attribute) (srdatalog.ir.dialects.relation.sorted_array.lowerings.LoweringCtx attribute) Negation (class in srdatalog.dsl) (class in srdatalog.ir.mir.types) negation_patterns (srdatalog.ir.hir.types.HirRuleVariant attribute) NegPreNarrowInfo (class in srdatalog.ir.codegen.cuda.context) (class in srdatalog.ir.dialects.relation.sorted_array.lowerings) NEW (srdatalog.ir.hir.types.Version attribute) new_code_gen_context() (in module srdatalog.ir.codegen.cuda.context) new_default_plugin() (in module srdatalog.ir.codegen.cuda.plugin) new_two_level_plugin() (in module srdatalog.ir.dialects.relation.d2l.cuda) node (srdatalog.ir.codegen.cuda.context.RunnerGenState attribute) number (srdatalog.ir.hir.types.Version property) O ok() (srdatalog.ir.codegen.cuda.build.compiler.BuildResult method) one() (in module srdatalog.ir.core.strategy) Op (class in srdatalog.ir.core.ops) op (srdatalog.ir.core.verifier.VerificationError attribute) OPS (in module srdatalog.ir.dialects.iir.cf.print) (in module srdatalog.ir.dialects.parallel.data.print) (in module srdatalog.ir.dialects.relation.d2l.print) (in module srdatalog.ir.dialects.relation.sorted_array.print) ops (srdatalog.ir.core.dialect.Dialect attribute) (srdatalog.ir.mir.types.ParallelGroup attribute) optimize_semi_joins() (in module srdatalog.ir.hir.rule_rewrite) order (srdatalog.ir.hir.pass_.PassInfo attribute) original_rule (srdatalog.ir.hir.types.HirRuleVariant attribute) OuterAnchor (class in srdatalog.ir.dialects.iir.cf.ops) output (srdatalog.ir.codegen.cuda.build.compiler.CompileResult attribute) output_buffer (srdatalog.ir.mir.types.ProbeJoin attribute) output_dir (srdatalog.ir.codegen.cuda.build.compiler.CompilerConfig attribute) output_file (srdatalog.ir.hir.types.RelationDecl attribute) output_name (srdatalog.ir.codegen.cuda.helpers.CodeGenContext attribute) output_var (srdatalog.ir.dialects.iir.cf.ops.AddCount attribute) (srdatalog.ir.dialects.iir.cf.ops.WriteOutput attribute) (srdatalog.ir.dialects.relation.sorted_array.lowerings.LoweringCtx attribute) (srdatalog.ir.mir.types.GatherColumn attribute) output_var_name (srdatalog.ir.codegen.cuda.context.CodeGenContext attribute) output_var_overrides (srdatalog.ir.dialects.relation.sorted_array.lowerings.LoweringCtx attribute) output_vars (srdatalog.ir.codegen.cuda.context.CodeGenContext attribute) (srdatalog.ir.codegen.cuda.helpers.CodeGenContext attribute) outputs (srdatalog.ir.dialects.iir.cf.ops.TiledBallotBlock attribute) P ParallelFor (class in srdatalog.ir.dialects.iir.cf.ops) ParallelGroup (class in srdatalog.ir.mir.types) params (srdatalog.ir.codegen.cuda.schema.FactDefinition attribute) parent (srdatalog.ir.dialects.relation.sorted_array.ops.SaPrefCoop attribute) (srdatalog.ir.dialects.relation.sorted_array.ops.SaPrefSeq attribute) parent_rule (srdatalog.ir.hir.provenance.Provenance attribute) parent_tile_var (srdatalog.ir.codegen.cuda.context.CodeGenContext attribute) PassDependencyError PassDriver (class in srdatalog.ir.core.passes) PassInfo (class in srdatalog.ir.hir.pass_) PassLevel (class in srdatalog.ir.hir.pass_) patch_rule_plan() (in module srdatalog.viz.patch) per_rule_runners (srdatalog.ir.pipeline.CompileResult attribute) Phase (class in srdatalog.ir.dialects.iir.cf.ops) Pipeline (class in srdatalog.ir.hir.pass_) pipeline (srdatalog.ir.mir.types.ExecutePipeline attribute) plan_calls (srdatalog.viz.source.RuleLocation attribute) plan_joins() (in module srdatalog.ir.hir.plan) PlanCallSpan (class in srdatalog.viz.source) PlanEntry (class in srdatalog.dsl) PlanKwargSpan (class in srdatalog.viz.source) PlanPatchError plans (srdatalog.dsl.Rule attribute) plugin_chained_prefix_calls() (in module srdatalog.ir.codegen.cuda.plugin) plugin_chained_prefix_with_last_lower_bound() (in module srdatalog.ir.codegen.cuda.plugin) plugin_gen_child() (in module srdatalog.ir.codegen.cuda.plugin) plugin_gen_child_range() (in module srdatalog.ir.codegen.cuda.plugin) plugin_gen_degree() (in module srdatalog.ir.codegen.cuda.plugin) plugin_gen_get_value() (in module srdatalog.ir.codegen.cuda.plugin) plugin_gen_get_value_at() (in module srdatalog.ir.codegen.cuda.plugin) plugin_gen_host_view_setup() (in module srdatalog.ir.codegen.cuda.plugin) plugin_gen_iterators() (in module srdatalog.ir.codegen.cuda.plugin) plugin_gen_prefix() (in module srdatalog.ir.codegen.cuda.plugin) plugin_gen_prefix_lower_bound() (in module srdatalog.ir.codegen.cuda.plugin) plugin_gen_root_handle() (in module srdatalog.ir.codegen.cuda.plugin) plugin_gen_valid() (in module srdatalog.ir.codegen.cuda.plugin) plugin_view_count() (in module srdatalog.ir.codegen.cuda.plugin) pos_expr (srdatalog.ir.dialects.relation.sorted_array.ops.SaChildRange attribute) PositionedExtract (class in srdatalog.ir.mir.types) post_column_join (srdatalog.ir.codegen.cuda.context.CodeGenHooks attribute) PostStratumReconstructInternCols (class in srdatalog.ir.mir.types) Pragma (class in srdatalog.ir.codegen.cuda.schema) pragmas (srdatalog.ir.codegen.cuda.schema.FactDefinition attribute) pre_cartesian_join (srdatalog.ir.codegen.cuda.context.CodeGenHooks attribute) pre_column_join (srdatalog.ir.codegen.cuda.context.CodeGenHooks attribute) pre_consts (srdatalog.ir.codegen.cuda.context.NegPreNarrowInfo attribute) (srdatalog.ir.dialects.relation.sorted_array.lowerings.NegPreNarrowInfo attribute) pre_vars (srdatalog.ir.codegen.cuda.context.NegPreNarrowInfo attribute) (srdatalog.ir.dialects.relation.sorted_array.lowerings.NegPreNarrowInfo attribute) prefix_len (srdatalog.ir.hir.types.AccessPattern attribute) prefix_vars (srdatalog.ir.mir.types.Aggregate attribute) (srdatalog.ir.mir.types.ColumnSource attribute) (srdatalog.ir.mir.types.Negation attribute) (srdatalog.ir.mir.types.Scan attribute) PrefixMode (class in srdatalog.ir.codegen.cuda.plugin) PRELUDE (in module srdatalog.ir.codegen.cuda.batchfile) print_iir() (in module srdatalog.ir.print_iir) print_mir_sexpr() (in module srdatalog.ir.mir.print) print_op() (in module srdatalog.ir.dialects.iir.cf.print) (in module srdatalog.ir.dialects.parallel.data.print) (in module srdatalog.ir.dialects.relation.d2l.print) (in module srdatalog.ir.dialects.relation.sorted_array.print) PRINT_SIZE (srdatalog.ir.codegen.cuda.schema.Pragma attribute) print_size (srdatalog.ir.hir.types.RelationDecl attribute) probe_index (srdatalog.ir.mir.types.ProbeJoin attribute) probe_rel (srdatalog.ir.mir.types.ProbeJoin attribute) probe_version (srdatalog.ir.mir.types.ProbeJoin attribute) ProbeJoin (class in srdatalog.ir.mir.types) produces (srdatalog.ir.core.passes.Lowering attribute) (srdatalog.ir.core.passes.Rewrite attribute) Program (class in srdatalog.dsl) (class in srdatalog.ir.mir.types) program_to_decls() (in module srdatalog.ir.hir.pass_) program_to_html() (in module srdatalog.viz.html) ProgramDiscoveryError prov (srdatalog.dsl.Atom attribute) (srdatalog.dsl.Rule attribute) Provenance (class in srdatalog.ir.hir.provenance) ProvenanceKind (class in srdatalog.ir.hir.provenance) R RawString (class in srdatalog.ir.dialects.iir.cf.ops) RebuildIndex (class in srdatalog.ir.mir.types) RebuildIndexFromIndex (class in srdatalog.ir.mir.types) recursive_variants (srdatalog.ir.hir.types.HirStratum attribute) register_dialect() (srdatalog.ir.core.dialect.Compiler method) register_index_plugin() (in module srdatalog.ir.codegen.cuda.plugin) register_pipeline_handles() (in module srdatalog.ir.codegen.cuda.view_slots) register_render() (in module srdatalog.ir.codegen.cuda.render) rel (srdatalog.dsl.Agg attribute) (srdatalog.dsl.Atom attribute) rel_index_types (srdatalog.ir.codegen.cuda.context.CodeGenContext attribute) (srdatalog.ir.codegen.cuda.context.RunnerGenState attribute) (srdatalog.ir.dialects.relation.sorted_array.lowerings.LoweringCtx attribute) (srdatalog.ir.pipeline.CompileResult attribute) rel_name (srdatalog.ir.codegen.cuda.context.NegPreNarrowInfo attribute) (srdatalog.ir.codegen.cuda.envelope.ViewSpec attribute) (srdatalog.ir.codegen.cuda.helpers.ViewSpec attribute) (srdatalog.ir.codegen.cuda.view_slots.ViewSpec attribute) (srdatalog.ir.dialects.parallel.data.block_group.BgSourceSpec attribute) (srdatalog.ir.dialects.relation.sorted_array.lowerings.NegPreNarrowInfo attribute) (srdatalog.ir.hir.types.AccessPattern attribute) (srdatalog.ir.hir.types.RelationDecl attribute) (srdatalog.ir.mir.types.Aggregate attribute) (srdatalog.ir.mir.types.CheckSize attribute) (srdatalog.ir.mir.types.ClearRelation attribute) (srdatalog.ir.mir.types.ColumnSource attribute) (srdatalog.ir.mir.types.ComputeDelta attribute) (srdatalog.ir.mir.types.ComputeDeltaIndex attribute) (srdatalog.ir.mir.types.CreateFlatView attribute) (srdatalog.ir.mir.types.GatherColumn attribute) (srdatalog.ir.mir.types.InsertInto attribute) (srdatalog.ir.mir.types.MergeIndex attribute) (srdatalog.ir.mir.types.MergeRelation attribute) (srdatalog.ir.mir.types.Negation attribute) (srdatalog.ir.mir.types.PostStratumReconstructInternCols attribute) (srdatalog.ir.mir.types.RebuildIndex attribute) (srdatalog.ir.mir.types.RebuildIndexFromIndex attribute) (srdatalog.ir.mir.types.Scan attribute) rel_version (srdatalog.ir.mir.types.GatherColumn attribute) Relation (class in srdatalog.dsl) relation (srdatalog.dsl.Agg attribute) (srdatalog.dsl.Atom attribute) relation_decls (srdatalog.ir.hir.types.HirProgram attribute) RelationDecl (class in srdatalog.ir.hir.types) relations (srdatalog.dsl.Program attribute) RenderFn (in module srdatalog.ir.codegen.cuda.render) repeat() (in module srdatalog.ir.core.strategy) required_indices (srdatalog.ir.hir.types.HirStratum attribute) resolve_plugin() (in module srdatalog.ir.codegen.cuda.plugin) resolve_program_consts() (in module srdatalog.dataset_const) resolve_rule_consts() (in module srdatalog.dataset_const) resolved_cxx() (srdatalog.ir.codegen.cuda.build.compiler.CompilerConfig method) resolved_jobs() (srdatalog.ir.codegen.cuda.build.compiler.CompilerConfig method) restype (srdatalog.ir.codegen.cuda.build.loader.EntryPoint attribute) result_var (srdatalog.dsl.Agg attribute) (srdatalog.ir.mir.types.Aggregate attribute) returncode (srdatalog.ir.codegen.cuda.build.compiler.CompileResult attribute) Rewrite (class in srdatalog.ir.core.passes) rewrite() (in module srdatalog.ir.core.passes) rewrite_constants() (in module srdatalog.ir.hir.rule_rewrite) rewrite_head_constants() (in module srdatalog.ir.hir.rule_rewrite) rewrite_wildcards() (in module srdatalog.ir.hir.rule_rewrite) rewrites (srdatalog.ir.core.dialect.Dialect attribute) root_column_join (srdatalog.ir.codegen.cuda.context.CodeGenHooks attribute) root_val_var (srdatalog.ir.dialects.parallel.data.block_group.BgRootCjMulti attribute) Rule (class in srdatalog.dsl) rule_name (srdatalog.ir.codegen.cuda.context.RunnerGenState attribute) (srdatalog.ir.mir.types.ExecutePipeline attribute) (srdatalog.ir.mir.types.InjectCppHook attribute) (srdatalog.ir.mir.types.InnerPipeline attribute) RULE_REWRITE (srdatalog.ir.hir.pass_.PassLevel attribute) RuleAnalysis (class in srdatalog.ir.hir.plan) RuleLocation (class in srdatalog.viz.source) RuleRewritePass (class in srdatalog.ir.hir.pass_) rules (srdatalog.dsl.Program attribute) run() (srdatalog.ffi.wrapper.DatalogFFI method) (srdatalog.ir.core.passes.PassDriver method) (srdatalog.ir.hir.index.IndexSelectionPass method) (srdatalog.ir.hir.pass_.HirTransformPass method) (srdatalog.ir.hir.pass_.RuleRewritePass method) (srdatalog.ir.hir.plan.JoinPlannerPass method) (srdatalog.ir.hir.rule_rewrite.ConstantRewritePass method) (srdatalog.ir.hir.rule_rewrite.HeadConstantRewritePass method) (srdatalog.ir.hir.rule_rewrite.SemiJoinPass method) (srdatalog.ir.hir.rule_rewrite.WildcardRewritePass method) (srdatalog.ir.hir.semi_naive.SemiNaiveVariantPass method) (srdatalog.ir.hir.split.TempIndexRegistrationPass method) (srdatalog.ir.hir.split.TempRelSynthesisPass method) (srdatalog.ir.hir.stratify.StratificationPass method) runner_decls (srdatalog.ir.pipeline.CompileResult attribute) runner_prefix (srdatalog.ir.codegen.cuda.context.RunnerGenState attribute) RunnerGenState (class in srdatalog.ir.codegen.cuda.context) runtime_defines() (in module srdatalog.runtime) runtime_include_path() (in module srdatalog.runtime) runtime_include_paths() (in module srdatalog.runtime) runtime_undefines() (in module srdatalog.runtime) S SaChildRange (class in srdatalog.ir.dialects.relation.sorted_array.ops) SaDegree (class in srdatalog.ir.dialects.relation.sorted_array.ops) SaGetVal (class in srdatalog.ir.dialects.relation.sorted_array.ops) SaGetValAt (class in srdatalog.ir.dialects.relation.sorted_array.ops) SaGetValAtPos (class in srdatalog.ir.dialects.relation.sorted_array.ops) SaHandle (class in srdatalog.ir.dialects.relation.sorted_array.types) SaHint (class in srdatalog.ir.dialects.relation.sorted_array.ops) SaIterators (class in srdatalog.ir.dialects.relation.sorted_array.ops) sanitize_var_name() (in module srdatalog.ir.codegen.cuda.context) SaPrefCoop (class in srdatalog.ir.dialects.relation.sorted_array.ops) SaPrefSeq (class in srdatalog.ir.dialects.relation.sorted_array.ops) SaRoot (class in srdatalog.ir.dialects.relation.sorted_array.ops) SaTiledCartesian2D (class in srdatalog.ir.dialects.relation.sorted_array.ops) SaValid (class in srdatalog.ir.dialects.relation.sorted_array.ops) SaView (class in srdatalog.ir.dialects.relation.sorted_array.types) scalar_mode (srdatalog.ir.codegen.cuda.context.CodeGenContext attribute) Scan (class in srdatalog.ir.mir.types) scc_members (srdatalog.ir.hir.types.HirStratum attribute) schema_arities (srdatalog.ir.mir.types.FixpointPlan attribute) schema_defs (srdatalog.ir.pipeline.CompileResult attribute) schema_header (srdatalog.ir.codegen.cuda.build.cache.JitProjectLayout attribute) SchemaDefinition (class in srdatalog.ir.codegen.cuda.schema) seg_var (srdatalog.ir.dialects.relation.d2l.ops.D2lSegmentLoop attribute) segment_depth (srdatalog.ir.codegen.cuda.render.EmitCtx attribute) select_indices() (in module srdatalog.ir.hir.index) semi_join (srdatalog.dsl.Rule attribute) SemiJoinPass (class in srdatalog.ir.hir.rule_rewrite) SemiNaiveVariantPass (class in srdatalog.ir.hir.semi_naive) SEMIRING (srdatalog.ir.codegen.cuda.schema.Pragma attribute) semiring (srdatalog.ir.hir.types.RelationDecl attribute) seq() (in module srdatalog.ir.core.strategy) SEQUENTIAL (srdatalog.ir.codegen.cuda.plugin.PrefixMode attribute) set_db_type_alias() (srdatalog.ir.codegen.cuda.build.cache.JitBatchManager method) set_output_vars() (srdatalog.ir.codegen.cuda.helpers.CodeGenContext method) set_schema_definitions() (srdatalog.ir.codegen.cuda.build.cache.JitBatchManager method) shared (srdatalog.ir.codegen.cuda.build.compiler.CompilerConfig attribute) show() (srdatalog.dsl.Program method) some() (in module srdatalog.ir.core.strategy) source1 (srdatalog.ir.mir.types.BalancedScan attribute) source2 (srdatalog.ir.mir.types.BalancedScan attribute) source_dialect (srdatalog.ir.hir.pass_.PassInfo attribute) source_index (srdatalog.ir.mir.types.RebuildIndexFromIndex attribute) source_spec_key() (in module srdatalog.ir.codegen.cuda.view_slots) source_specs (srdatalog.ir.mir.types.ExecutePipeline attribute) sources (srdatalog.ir.dialects.parallel.data.block_group.BgRootCjMulti attribute) (srdatalog.ir.mir.types.CartesianJoin attribute) (srdatalog.ir.mir.types.ColumnJoin attribute) (srdatalog.ir.mir.types.PositionedExtract attribute) spec_key() (in module srdatalog.ir.codegen.cuda.helpers) (in module srdatalog.ir.codegen.cuda.view_slots) Split (class in srdatalog.dsl) SPLIT (in module srdatalog.dsl) split_at (srdatalog.ir.hir.types.HirRuleVariant attribute) src1_handle_idx (srdatalog.ir.codegen.cuda.pipeline_utils.BalancedScanInfo attribute) src1_index (srdatalog.ir.codegen.cuda.pipeline_utils.BalancedScanInfo attribute) src1_rel_name (srdatalog.ir.codegen.cuda.pipeline_utils.BalancedScanInfo attribute) src2_handle_idx (srdatalog.ir.codegen.cuda.pipeline_utils.BalancedScanInfo attribute) src2_index (srdatalog.ir.codegen.cuda.pipeline_utils.BalancedScanInfo attribute) src2_rel_name (srdatalog.ir.codegen.cuda.pipeline_utils.BalancedScanInfo attribute) srdatalog module srdatalog.build module srdatalog.cli module srdatalog.compile module srdatalog.dataset_const module srdatalog.dsl module srdatalog.ffi module srdatalog.ffi.header module srdatalog.ffi.wrapper module srdatalog.ir module srdatalog.ir.codegen module srdatalog.ir.codegen.cuda module srdatalog.ir.codegen.cuda.api module srdatalog.ir.codegen.cuda.batchfile module srdatalog.ir.codegen.cuda.build module srdatalog.ir.codegen.cuda.build.cache module srdatalog.ir.codegen.cuda.build.compiler module srdatalog.ir.codegen.cuda.build.compiler_ninja module srdatalog.ir.codegen.cuda.build.loader module srdatalog.ir.codegen.cuda.complete_runner module srdatalog.ir.codegen.cuda.context module srdatalog.ir.codegen.cuda.emit module srdatalog.ir.codegen.cuda.envelope module srdatalog.ir.codegen.cuda.helpers module srdatalog.ir.codegen.cuda.main_file module srdatalog.ir.codegen.cuda.materialized module srdatalog.ir.codegen.cuda.orchestrator module srdatalog.ir.codegen.cuda.pipeline_utils module srdatalog.ir.codegen.cuda.plugin module srdatalog.ir.codegen.cuda.render module srdatalog.ir.codegen.cuda.render.d2l module srdatalog.ir.codegen.cuda.render.iir_cf module srdatalog.ir.codegen.cuda.render.parallel_data module srdatalog.ir.codegen.cuda.render.sorted_array module srdatalog.ir.codegen.cuda.runner module srdatalog.ir.codegen.cuda.schema module srdatalog.ir.codegen.cuda.view_slots module srdatalog.ir.core module srdatalog.ir.core.dialect module srdatalog.ir.core.ops module srdatalog.ir.core.passes module srdatalog.ir.core.pattern module srdatalog.ir.core.strategy module srdatalog.ir.core.verifier module srdatalog.ir.dialects module srdatalog.ir.dialects.iir module srdatalog.ir.dialects.iir.cf module srdatalog.ir.dialects.iir.cf.ops module srdatalog.ir.dialects.iir.cf.print module srdatalog.ir.dialects.parallel module srdatalog.ir.dialects.parallel.data module srdatalog.ir.dialects.parallel.data.block_group module srdatalog.ir.dialects.parallel.data.print module srdatalog.ir.dialects.relation module srdatalog.ir.dialects.relation.d2l module srdatalog.ir.dialects.relation.d2l.cuda module srdatalog.ir.dialects.relation.d2l.ops module srdatalog.ir.dialects.relation.d2l.print module srdatalog.ir.dialects.relation.sorted_array module srdatalog.ir.dialects.relation.sorted_array.lowerings module srdatalog.ir.dialects.relation.sorted_array.ops module srdatalog.ir.dialects.relation.sorted_array.print module srdatalog.ir.dialects.relation.sorted_array.types module srdatalog.ir.hir module srdatalog.ir.hir.emit module srdatalog.ir.hir.index module srdatalog.ir.hir.lower module srdatalog.ir.hir.pass_ module srdatalog.ir.hir.plan module srdatalog.ir.hir.provenance module srdatalog.ir.hir.rule_rewrite module srdatalog.ir.hir.semi_naive module srdatalog.ir.hir.split module srdatalog.ir.hir.stratify module srdatalog.ir.hir.types module srdatalog.ir.mir module srdatalog.ir.mir.passes module srdatalog.ir.mir.print module srdatalog.ir.mir.types module srdatalog.ir.pipeline module srdatalog.ir.print_iir module srdatalog.runtime module srdatalog.viz module srdatalog.viz.__main__ module srdatalog.viz.bundle module srdatalog.viz.html module srdatalog.viz.introspect module srdatalog.viz.patch module srdatalog.viz.source module start (srdatalog.viz.source.PlanCallSpan attribute) (srdatalog.viz.source.PlanKwargSpan attribute) (srdatalog.viz.source.RuleLocation attribute) start_line (srdatalog.viz.source.RuleLocation attribute) stderr (srdatalog.ir.codegen.cuda.build.compiler.CompileResult attribute) stdout (srdatalog.ir.codegen.cuda.build.compiler.CompileResult attribute) step_bodies (srdatalog.ir.pipeline.CompileResult attribute) steps (srdatalog.ir.mir.types.Program attribute) stmts (srdatalog.ir.dialects.iir.cf.ops.Block attribute) (srdatalog.ir.dialects.iir.cf.ops.IndentBlock attribute) strata (srdatalog.ir.hir.types.HirProgram attribute) Strategy (in module srdatalog.ir.core.strategy) strategy (srdatalog.ir.dialects.iir.cf.ops.ParallelFor attribute) StratificationPass (class in srdatalog.ir.hir.stratify) stratify() (in module srdatalog.ir.hir.stratify) stratum_rules (srdatalog.ir.hir.types.HirStratum attribute) sum() (in module srdatalog.dsl) T T (in module srdatalog.ir.core.strategy) t0_base (srdatalog.ir.dialects.relation.sorted_array.ops.SaTiledCartesian2D attribute) t0_len (srdatalog.ir.dialects.relation.sorted_array.ops.SaTiledCartesian2D attribute) t1_base (srdatalog.ir.dialects.relation.sorted_array.ops.SaTiledCartesian2D attribute) t1_len (srdatalog.ir.dialects.relation.sorted_array.ops.SaTiledCartesian2D attribute) Target (in module srdatalog.ir.codegen.cuda.api) target_dialect (srdatalog.ir.hir.pass_.PassInfo attribute) target_index (srdatalog.ir.mir.types.RebuildIndexFromIndex attribute) temp_rel_name (srdatalog.ir.hir.types.HirRuleVariant attribute) temp_vars (srdatalog.ir.hir.types.HirRuleVariant attribute) TempIndexRegistrationPass (class in srdatalog.ir.hir.split) TempRelSynthesisPass (class in srdatalog.ir.hir.split) text (srdatalog.ir.dialects.iir.cf.ops.Comment attribute) (srdatalog.ir.dialects.iir.cf.ops.RawString attribute) tile_total (srdatalog.ir.dialects.relation.sorted_array.ops.SaTiledCartesian2D attribute) tile_var (srdatalog.ir.codegen.cuda.context.CodeGenContext attribute) (srdatalog.ir.codegen.cuda.render.EmitCtx attribute) (srdatalog.ir.dialects.relation.sorted_array.lowerings.LoweringCtx attribute) tiled_cartesian (srdatalog.ir.dialects.relation.sorted_array.lowerings.LoweringCtx attribute) tiled_cartesian_ballot_done (srdatalog.ir.codegen.cuda.context.CodeGenContext attribute) tiled_cartesian_enabled (srdatalog.ir.codegen.cuda.context.CodeGenContext attribute) tiled_cartesian_valid_var (srdatalog.ir.codegen.cuda.context.CodeGenContext attribute) (srdatalog.ir.dialects.relation.sorted_array.lowerings.LoweringCtx attribute) TiledBallotBlock (class in srdatalog.ir.dialects.iir.cf.ops) top_down() (in module srdatalog.ir.core.strategy) total_var (srdatalog.ir.dialects.relation.sorted_array.ops.SaTiledCartesian2D attribute) total_view_count (srdatalog.ir.codegen.cuda.context.RunnerGenState attribute) transform_pass (srdatalog.ir.hir.provenance.Provenance attribute) try_() (in module srdatalog.ir.core.strategy) two_level_plugin (in module srdatalog.ir.dialects.relation.d2l.cuda) Type (class in srdatalog.ir.core.ops) type_decl (srdatalog.ir.dialects.iir.cf.ops.Bind attribute) types (srdatalog.ir.core.dialect.Dialect attribute) (srdatalog.ir.hir.types.RelationDecl attribute) U use_fan_out (srdatalog.ir.mir.types.ExecutePipeline attribute) USER (srdatalog.ir.hir.provenance.ProvenanceKind attribute) USER_PROVENANCE (in module srdatalog.ir.hir.provenance) V valid_var (srdatalog.ir.dialects.iir.cf.ops.TiledBallotBlock attribute) (srdatalog.ir.dialects.relation.sorted_array.ops.SaTiledCartesian2D attribute) validate_dependencies() (srdatalog.ir.core.passes.PassDriver method) value_var (srdatalog.ir.dialects.iir.cf.ops.IntersectIter attribute) values (srdatalog.ir.dialects.iir.cf.ops.WriteOutput attribute) Var (class in srdatalog.dsl) var_from_source (srdatalog.ir.mir.types.CartesianJoin attribute) var_name (srdatalog.dsl.ClauseArg attribute) (srdatalog.dsl.Let attribute) (srdatalog.ir.codegen.cuda.context.NegPreNarrowInfo attribute) (srdatalog.ir.dialects.parallel.data.block_group.BgRootCjMulti attribute) (srdatalog.ir.dialects.relation.sorted_array.lowerings.NegPreNarrowInfo attribute) (srdatalog.ir.mir.types.ColumnJoin attribute) (srdatalog.ir.mir.types.ConstantBind attribute) (srdatalog.ir.mir.types.PositionedExtract attribute) var_name0 (srdatalog.ir.dialects.relation.sorted_array.ops.SaTiledCartesian2D attribute) var_name1 (srdatalog.ir.dialects.relation.sorted_array.ops.SaTiledCartesian2D attribute) var_order (srdatalog.dsl.PlanEntry attribute) (srdatalog.ir.hir.types.HirRuleVariant attribute) VarRef (class in srdatalog.ir.dialects.iir.cf.ops) vars (srdatalog.dsl.Filter attribute) (srdatalog.ir.hir.plan.RuleAnalysis attribute) (srdatalog.ir.mir.types.CartesianJoin attribute) (srdatalog.ir.mir.types.Filter attribute) (srdatalog.ir.mir.types.InsertInto attribute) (srdatalog.ir.mir.types.Scan attribute) vars1 (srdatalog.ir.mir.types.BalancedScan attribute) vars2 (srdatalog.ir.mir.types.BalancedScan attribute) VerificationError (class in srdatalog.ir.core.verifier) verifier (srdatalog.ir.core.dialect.Dialect attribute) verifier() (in module srdatalog.ir.core.passes) verify_all() (srdatalog.ir.core.passes.PassDriver method) Version (class in srdatalog.ir.hir.types) version (srdatalog.ir.codegen.cuda.envelope.ViewSpec attribute) (srdatalog.ir.codegen.cuda.helpers.ViewSpec attribute) (srdatalog.ir.codegen.cuda.view_slots.ViewSpec attribute) (srdatalog.ir.hir.types.AccessPattern attribute) (srdatalog.ir.mir.types.Aggregate attribute) (srdatalog.ir.mir.types.CheckSize attribute) (srdatalog.ir.mir.types.ClearRelation attribute) (srdatalog.ir.mir.types.ColumnSource attribute) (srdatalog.ir.mir.types.CreateFlatView attribute) (srdatalog.ir.mir.types.InsertInto attribute) (srdatalog.ir.mir.types.Negation attribute) (srdatalog.ir.mir.types.RebuildIndex attribute) (srdatalog.ir.mir.types.RebuildIndexFromIndex attribute) (srdatalog.ir.mir.types.Scan attribute) version_string() (in module srdatalog.ir.codegen.cuda.orchestrator) view_count (srdatalog.ir.codegen.cuda.plugin.IndexPlugin attribute) (srdatalog.ir.dialects.parallel.data.block_group.BgSourceSpec attribute) (srdatalog.ir.dialects.relation.d2l.ops.D2lSegmentLoop attribute) view_count() (in module srdatalog.ir.dialects.relation.d2l) view_counts_for_specs() (in module srdatalog.ir.dialects.relation.d2l) view_name (srdatalog.ir.dialects.relation.sorted_array.ops.SaChildRange attribute) (srdatalog.ir.dialects.relation.sorted_array.ops.SaGetVal attribute) (srdatalog.ir.dialects.relation.sorted_array.ops.SaGetValAt attribute) (srdatalog.ir.dialects.relation.sorted_array.ops.SaGetValAtPos attribute) (srdatalog.ir.dialects.relation.sorted_array.ops.SaIterators attribute) (srdatalog.ir.dialects.relation.sorted_array.ops.SaPrefCoop attribute) (srdatalog.ir.dialects.relation.sorted_array.ops.SaPrefSeq attribute) (srdatalog.ir.dialects.relation.sorted_array.ops.SaRoot attribute) view_slot_bases (srdatalog.ir.dialects.relation.sorted_array.lowerings.LoweringCtx attribute) view_slot_offsets (srdatalog.ir.codegen.cuda.context.CodeGenContext attribute) view_var (srdatalog.ir.codegen.cuda.context.NegPreNarrowInfo attribute) (srdatalog.ir.dialects.parallel.data.block_group.BgSourceSpec attribute) (srdatalog.ir.dialects.relation.d2l.ops.D2lSegmentLoop attribute) (srdatalog.ir.dialects.relation.sorted_array.lowerings.NegPreNarrowInfo attribute) view_var0 (srdatalog.ir.dialects.relation.sorted_array.ops.SaTiledCartesian2D attribute) view_var1 (srdatalog.ir.dialects.relation.sorted_array.ops.SaTiledCartesian2D attribute) view_var_names (srdatalog.ir.dialects.relation.sorted_array.lowerings.LoweringCtx attribute) view_vars (srdatalog.ir.codegen.cuda.context.CodeGenContext attribute) (srdatalog.ir.codegen.cuda.helpers.CodeGenContext attribute) ViewSpec (class in srdatalog.ir.codegen.cuda.envelope) (class in srdatalog.ir.codegen.cuda.helpers) (class in srdatalog.ir.codegen.cuda.view_slots) W WildcardRewritePass (class in srdatalog.ir.hir.rule_rewrite) with_bound_var() (in module srdatalog.ir.codegen.cuda.context) with_count() (srdatalog.dsl.Rule method) with_inject_cpp() (srdatalog.dsl.Rule method) with_plan() (srdatalog.dsl.Rule method) with_plans() (srdatalog.dsl.Rule method) with_semi_join() (srdatalog.dsl.Rule method) work_stealing (srdatalog.dsl.PlanEntry attribute) (srdatalog.ir.hir.types.HirRuleVariant attribute) (srdatalog.ir.mir.types.ExecutePipeline attribute) wrap_emit (srdatalog.ir.codegen.cuda.context.CodeGenHooks attribute) wrap_in_execute_pipeline() (in module srdatalog.ir.hir.lower) write_batch_files() (srdatalog.ir.codegen.cuda.build.cache.JitBatchManager method) write_jit_project() (in module srdatalog.ir.codegen.cuda.build.cache) write_kernel_decl_header() (srdatalog.ir.codegen.cuda.build.cache.JitBatchManager method) write_schema_header() (srdatalog.ir.codegen.cuda.build.cache.JitBatchManager method) WriteOutput (class in srdatalog.ir.dialects.iir.cf.ops) ws_cartesian_bound_vars (srdatalog.ir.codegen.cuda.context.CodeGenContext attribute) ws_cartesian_valid_var (srdatalog.ir.codegen.cuda.context.CodeGenContext attribute) (srdatalog.ir.dialects.relation.sorted_array.lowerings.LoweringCtx attribute) ws_enabled (srdatalog.ir.codegen.cuda.context.CodeGenContext attribute) (srdatalog.ir.dialects.relation.sorted_array.lowerings.LoweringCtx attribute) ws_has_cartesian (srdatalog.ir.codegen.cuda.context.CodeGenContext attribute) ws_level (srdatalog.ir.codegen.cuda.context.CodeGenContext attribute) ws_live_handles (srdatalog.ir.codegen.cuda.context.CodeGenContext attribute) ws_queue_var (srdatalog.ir.codegen.cuda.context.CodeGenContext attribute) ws_range_board_var (srdatalog.ir.codegen.cuda.context.CodeGenContext attribute)