xlog-prob 0.5.0

Probabilistic inference engines for XLOG
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33

//! Probabilistic reasoning tier for XLOG (Phase 4).

pub mod cnf;
pub mod compilation;
pub mod exact;
#[allow(dead_code)] // reserved: GPU-only exact compilation path (not yet wired to main pipeline)
pub mod exact_gpu;
pub mod gpu;
pub mod kc;
pub mod mc;
pub mod neural_fast_path;
pub mod pir;
pub mod provenance;
pub mod wfs;
pub mod xgcf;

pub use pir::{ChoiceVarId, LeafId, PirGraph, PirNode, PirNodeId};
pub use provenance::{ChoiceSource, GroundAtom, Provenance, Value};

// Primary entry points (convenience re-exports)
pub use compilation::{
    compile_gpu_d4_and_verify, compile_gpu_d4_and_verify_cached, CircuitCompileProfile,
    GpuCompileConfig,
};
pub use exact::{ExactDdnnfProgram, ExactResult, GpuConfig};
pub use mc::{
    EvidenceForcing, ForceabilityReason, McCountStrategy, McDeviceResult, McEvalConfig, McProgram,
    McResult, McSamplingMethod,
};
pub use wfs::{
    evaluate_wfs_rules, evaluate_wfs_with_rules, TruthValue, WfsAtom, WfsConfig, WfsLiteral,
    WfsResult, WfsRule,
};