Contents Menu Expand Light mode Dark mode Auto light/dark, in light mode Auto light/dark, in dark mode Skip to content
srdatalog
srdatalog

Guides

  • Getting started
  • Architecture
  • Benchmarks
  • Compile performance
  • CUDA PCH blocker

API reference

  • API Reference
    • srdatalog
      • srdatalog.ffi
        • srdatalog.ffi.header
        • srdatalog.ffi.wrapper
      • srdatalog.ir
        • srdatalog.ir.codegen
          • srdatalog.ir.codegen.cuda
            • 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.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.api
            • srdatalog.ir.codegen.cuda.batchfile
            • 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.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
      • srdatalog.build
      • srdatalog.cli
      • srdatalog.compile
      • srdatalog.dataset_const
      • srdatalog.dsl
      • Path(X, Y) :- Edge(X, Y)
      • Path(X, Z) :- Path(X, Y), Edge(Y, Z)
Back to top
View this page
Edit this page

srdatalog.ffi.header¶

Module Contents¶

Functions¶

generate_extern_c

API¶

srdatalog.ffi.header.generate_extern_c(name)[source]¶
Next
srdatalog.ffi.wrapper
Previous
srdatalog.ffi
Copyright © 2026, SRDatalog contributors
Made with Sphinx and @pradyunsg's Furo
On this page
  • srdatalog.ffi.header
    • Module Contents
      • Functions
      • API
        • generate_extern_c()