List of all items
Structs
- ast::AggExpr
- ast::AnnotatedDisjunction
- ast::Atom
- ast::Comparison
- ast::CondExpr
- ast::Constraint
- ast::Directives
- ast::DomainDecl
- ast::EpistemicLiteral
- ast::Evidence
- ast::FuncDef
- ast::FuncParam
- ast::IsExpr
- ast::LearnableRule
- ast::NeuralPredDecl
- ast::PredColumn
- ast::PredDecl
- ast::ProbFact
- ast::ProbQuery
- ast::Program
- ast::Query
- ast::Rule
- ast::Univ
- ast::UseDecl
- compile::Compiler
- compiler_config::CompilerConfig
- diagnostics::QueryProofTrace
- diagnostics::RuleProvenance
- epistemic::EpistemicDependencyComponent
- epistemic::EpistemicDependencyGraph
- epistemic::EpistemicInterpretation
- epistemic::EpistemicSplitExecutableComponent
- epistemic::EpistemicSplitExecutablePlan
- epistemic::EpistemicSplitPlan
- epistemic::EpistemicStratifiedPlan
- epistemic::EpistemicStratum
- epistemic::EpistemicWorld
- epistemic::EpistemicWorldView
- epistemic::GeneratePropagateTestConfig
- epistemic::GeneratePropagateTestOutcome
- epistemic::GeneratePropagateTestTrace
- expand::ExpansionContext
- function::FunctionRegistry
- function::RecursionWarning
- hypergraph::fixpoint::FixpointConfig
- hypergraph::ir::Hyperedge
- hypergraph::ir::HypergraphRule
- hypergraph::ir::Vertex
- hypergraph::ir::VertexId
- hypergraph::reference::RefRelation
- hypergraph::var_order::AppearanceOrder
- hypergraph::var_order::CostPredictionRecord
- hypergraph::var_order::FullVariableOrder
- hypergraph::var_order::KCliqueEdge
- hypergraph::var_order::KCliqueShape
- hypergraph::var_order::VariableShare
- incremental_parse::IncrementalParseResult
- incremental_parse::ParseCacheStats
- incremental_parse::ParserSession
- incremental_parse::StatementSpan
- incremental_parse::StatementUnit
- lower::Lowerer
- magic_sets::MagicSetReport
- magic_sets::MagicSetRewrite
- module::LoadedModule
- module_diagnostics::ModuleBoundaryInput
- module_diagnostics::ModuleBoundaryReport
- module_diagnostics::ModuleDeclaration
- module_diagnostics::ModuleManifest
- module_diagnostics::ModuleViolation
- optimizer::Optimizer
- optimizer::OptimizerConfig
- optimizer::PlanCost
- optimizer::helper_split_pass::HelperRelationSpec
- optimizer::stream_schedule_pass::HardwareCapabilities
- optimizer::stream_schedule_pass::StreamPhaseNode
- optimizer::stream_schedule_pass::StreamSchedule
- parser::XlogParser
- proof_trace::DifferentiableProofTraceMap
- proof_trace::ProofTrace
- proof_trace::ProofTraceSpec
- resolver::ModuleResolver
- stratify::DependencyGraph
- stratify::StratificationResult
- stratify::Stratum
- wcoj_var_ordering::HeatAwareLeaderModel
- wcoj_var_ordering::LeaderCardinalityModel
- wcoj_var_ordering::WcojCostGateParams
Enums
- ast::AggOp
- ast::ArithExpr
- ast::BodyLiteral
- ast::CompOp
- ast::EpistemicMode
- ast::EpistemicOp
- ast::FuncBody
- ast::MagicSetsMode
- ast::NeuralLabel
- ast::ProbCache
- ast::ProbEngine
- ast::ProbMethod
- ast::Term
- ast::TypeRef
- compiler_config::WcojVarOrderingKind
- diagnostics::RuleSourceKind
- epistemic::EpistemicComponentMergeReason
- epistemic::FaeelCandidateResult
- epistemic::FaeelNoModelReason
- epistemic::RecursiveEpistemicClass
- epistemic::TruthValue
- function::FunctionError
- hypergraph::eligibility::Boundary
- hypergraph::eligibility::Eligibility
- hypergraph::eligibility::ExecutorContext
- hypergraph::fixpoint::FixpointError
- hypergraph::inference::InferenceError
- hypergraph::plan::PlanError
- hypergraph::plan::RulePlan
- hypergraph::reference::RefEvalError
- hypergraph::reference::RefValue
- hypergraph::scc::SccFixpointError
- hypergraph::var_order::PredictedWinner
- magic_sets::MagicSetStatus
- module::ModuleError
- module_diagnostics::CandidateSourceKind
- module_diagnostics::ModuleDeclarationKind
- module_diagnostics::ModuleRole
- module_diagnostics::ModuleViolationKind
- optimizer::stream_schedule_pass::StreamPhase
- parser::Rule
Traits
- hypergraph::var_order::StatsSource
- hypergraph::var_order::VariableOrder
- wcoj_var_ordering::WcojVariableOrderingModel
Functions
- compile::compile
- compile::load_modules
- diagnostics::build_query_proof_traces
- diagnostics::build_rule_provenance
- diagnostics::format_atom
- diagnostics::query_proof_traces
- diagnostics::rule_provenance
- eir::build_eir
- epistemic::build_epistemic_dependency_graph
- epistemic::classify_recursive_epistemic_program
- epistemic::compile_epistemic_gpu_execution
- epistemic::compile_epistemic_gpu_execution_with_stats_snapshot
- epistemic::compile_epistemic_gpu_split_execution
- epistemic::compile_epistemic_gpu_split_execution_with_stats_snapshot
- epistemic::evaluate_epistemic_candidate
- epistemic::evaluate_epistemic_literal
- epistemic::evaluate_faeel_candidate
- epistemic::plan_epistemic_gpu_execution
- epistemic::reduce_case_a_epistemic_program_to_ordinary
- epistemic::reduce_epistemic_program_to_ordinary
- epistemic::reduce_epistemic_program_to_ordinary_for_stratified_schema
- epistemic::run_generate_propagate_test
- epistemic::run_generate_propagate_test_with_mode
- epistemic::split_epistemic_program
- epistemic::try_plan_stratified_epistemic_program
- epistemic::try_reduce_case_a_recursive_epistemic_program
- expand::expand_program_functions
- hypergraph::eligibility::analyze
- hypergraph::eligibility::analyze_typed
- hypergraph::eligibility::is_eligible
- hypergraph::explain::explain
- hypergraph::fixpoint::evaluate_fixpoint
- hypergraph::inference::infer_scc_predicate_schemas
- hypergraph::plan::explain_plans
- hypergraph::plan::plan_rule
- hypergraph::plan::plan_rules
- hypergraph::plan::plan_scc_rules
- hypergraph::reference::evaluate_rule
- hypergraph::scc::evaluate_scc_fixpoint
- hypergraph::typed::evaluate_fixpoint_typed
- hypergraph::typed::evaluate_rule_typed
- hypergraph::typed::evaluate_scc_fixpoint_typed
- hypergraph::var_order::plan_kclique_var_order
- list_normalize::normalize_list_builtins
- magic_sets::rewrite_magic_sets
- meta_normalize::normalize_meta_builtins
- module_diagnostics::diagnose_module_boundaries
- optimizer::helper_split_pass::run
- optimizer::helper_split_pass::run_kclique_specs
- optimizer::selectivity_pass::run
- optimizer::stream_schedule_pass::schedule_streams
- parser::parse_atom
- parser::parse_program
- parser::parse_statement
- promote::promote_multiway
- stratify::analyze_stratification
- stratify::build_dependency_graph
- stratify::find_sccs_for_lowering
- stratify::stratify
- wcoj_var_ordering::build_cycle4_var_order
- wcoj_var_ordering::build_triangle_var_order
- wcoj_var_ordering::cycle4_kernel_output_cols
- wcoj_var_ordering::cycle4_lookup_perms
- wcoj_var_ordering::triangle_kernel_output_cols
- wcoj_var_ordering::triangle_lookup_perms
- wcoj_var_ordering::wcoj_cost_gate_predicts_wcoj