List of all items
Structs
- cnf::CnfEncoding
- cnf::CnfFormula
- compilation::CircuitCompileProfile
- compilation::DeviceRandomVarList
- compilation::gpu_cache::GpuCacheLookup
- compilation::gpu_cache::GpuCircuitCache
- compilation::gpu_cache::GpuCircuitCacheConfig
- compilation::gpu_cache::GpuCircuitCacheHandle
- compilation::gpu_cnf::GpuCnfEncoding
- compilation::gpu_cnf::GpuCnfVarTables
- compilation::gpu_d4::GpuCompileConfig
- compilation::gpu_pir::GpuPirGraph
- compilation::gpu_pir::GpuPirRoots
- compilation::gpu_pir_intern::GpuPirBatch
- compilation::gpu_pir_intern::GpuPirInterner
- compilation::gpu_pir_intern::PirBatch
- compilation::gpu_weights::GpuWeights
- compilation::validation::GpuEquivalenceConfig
- compilation::validation::GpuEquivalenceQueries
- epistemic::AcceptedWorldViewEvidence
- epistemic::CircuitUpdate
- epistemic::EpistemicAssumption
- epistemic::EpistemicCircuit
- epistemic::EpistemicProbabilisticContract
- epistemic::KnowledgeCompilerAdapter
- epistemic::ProbabilityValue
- epistemic_production::EpistemicProbGpuBatchExecutionEvidence
- epistemic_production::EpistemicProbGpuExecutionEvidence
- epistemic_production::EpistemicProbPirCnfEvidence
- epistemic_production::EpistemicProbProductionAdapter
- epistemic_production::EpistemicProbProductionCapabilities
- epistemic_production::EpistemicProbProductionTrace
- exact::ExactDdnnfProgram
- exact::ExactResult
- exact::ExactResultWithGrads
- exact::GpuConfig
- exact::QueryGradients
- exact::QueryProbability
- gpu::GpuCircuitBuilder
- gpu::GpuCircuitLayout
- gpu::GpuXgcf
- kc::ddnnf::DdnnfEdge
- kc::ddnnf::DdnnfNode
- kc::ddnnf::DecisionDnnf
- mc::EvidenceForcing
- mc::McDeviceResult
- mc::McEvalConfig
- mc::McHotLoopTransfers
- mc::McNoHostStats
- mc::McProgram
- mc::McQueryEstimate
- mc::McResidentResult
- mc::McResult
- mc::McTimingBreakdown
- mc::ResidentPlan
- mc::ResidentRejection
- neural_fast_path::GpuWeightSlots
- neural_fast_path::NeuralFastPathConfig
- pir::ChoiceVarId
- pir::LeafId
- pir::PirGraph
- pir::PirNodeId
- provenance::AggregateLiftReport
- provenance::ChoiceSource
- provenance::GroundAtom
- provenance::Provenance
- wfs::WfsAtom
- wfs::WfsConfig
- wfs::WfsContext
- wfs::WfsResult
- wfs::WfsRule
- xgcf::Xgcf
Enums
- epistemic::CircuitUpdateMode
- epistemic::CompilerAdapterKind
- epistemic::CompilerAdapterSupport
- epistemic::CompilerInputFormat
- epistemic::CompilerOutputFormat
- epistemic::EpistemicAssumptionKind
- epistemic::EpistemicEvidenceTerm
- epistemic::EpistemicProbabilisticRole
- epistemic_production::EpistemicProbProductionCapabilityStatus
- kc::ddnnf::DdnnfNodeKind
- mc::ForceabilityReason
- mc::McCountStrategy
- mc::McEngine
- mc::McSamplingMethod
- mc::ResidentRejectKind
- pir::PirNode
- provenance::AggregateLiftStatus
- provenance::Value
- wfs::TruthValue
- wfs::WfsLiteral
- xgcf::XgcfNodeType
Functions
- cnf::canonical_pir_hash
- cnf::encode_cnf
- compilation::compile_gpu_d4_and_verify
- compilation::compile_gpu_d4_and_verify_cached
- compilation::gpu_cache::hash_cnf_gpu
- compilation::gpu_cnf::encode_cnf_gpu
- compilation::gpu_d4::compile_gpu_d4_gated
- compilation::gpu_d4::compute_free_var_mask_gpu
- compilation::gpu_d4::validate_cnf_gpu
- compilation::gpu_weights::apply_query_vars_device
- compilation::gpu_weights::build_evidence_by_var_gpu
- compilation::gpu_weights::build_weights_gpu
- compilation::gpu_weights::map_nodes_to_vars_gpu
- compilation::gpu_weights::restore_query_vars_device
- compilation::validation::build_equivalence_queries_gpu
- compilation::validation::validate_equivalence_gpu
- compilation::validation::validate_equivalence_gpu_gated
- epistemic::conditional_probability_from_logs
- epistemic_production::production_capabilities
- mc::compile_resident_plan
- provenance::extract_from_program
- provenance::extract_from_source
- wfs::evaluate_wfs_rules
- wfs::evaluate_wfs_with_rules