API Reference

This page contains auto-generated API reference documentation [1].

• 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)

[1]

Created with sphinx-autodoc2