xlog-prob 0.11.0

Probabilistic inference engines for XLOG
Documentation 
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
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64

//! Probabilistic reasoning tier for XLOG (Phase 4).
#![warn(missing_docs)]

mod aggregates;
#[allow(missing_docs)] // TODO(v0.6): document or make pub(crate)
pub mod cnf;
#[allow(missing_docs)] // TODO(v0.6): document or make pub(crate)
pub mod compilation;
mod decision_order;
pub mod epistemic;
pub mod epistemic_production;
#[allow(missing_docs)] // TODO(v0.6): document or make pub(crate)
pub mod exact;
#[allow(dead_code)] // reserved: GPU-only exact compilation path (not yet wired to main pipeline)
#[allow(missing_docs)]
pub mod exact_gpu;
#[allow(missing_docs)] // TODO(v0.6): document or make pub(crate)
pub mod gpu;
#[allow(missing_docs)] // TODO(v0.6): document or make pub(crate)
pub mod kc;
#[allow(missing_docs)] // TODO(v0.6): document or make pub(crate)
pub mod mc;
#[allow(missing_docs)] // TODO(v0.6): document or make pub(crate)
pub mod neural_fast_path;
#[allow(missing_docs)] // TODO(v0.6): document or make pub(crate)
pub mod pir;
#[allow(missing_docs)] // TODO(v0.6): document or make pub(crate)
pub mod provenance;
#[allow(missing_docs)] // TODO(v0.6): document or make pub(crate)
pub mod wfs;
#[allow(missing_docs)] // TODO(v0.6): document or make pub(crate)
pub mod xgcf;

#[cfg(all(test, feature = "host-io"))]
pub(crate) mod test_gpu_lock {
    use std::sync::{Mutex, MutexGuard, OnceLock};

    pub(crate) fn lock() -> MutexGuard<'static, ()> {
        static LOCK: OnceLock<Mutex<()>> = OnceLock::new();
        LOCK.get_or_init(|| Mutex::new(()))
            .lock()
            .unwrap_or_else(|poisoned| poisoned.into_inner())
    }
}

pub use pir::{ChoiceVarId, LeafId, PirGraph, PirNode, PirNodeId};
pub use provenance::{
    AggregateLiftReport, AggregateLiftStatus, 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,
    McHotLoopTransfers, McProgram, McResult, McSamplingMethod,
};
pub use wfs::{
    evaluate_wfs_rules, evaluate_wfs_with_rules, TruthValue, WfsAtom, WfsConfig, WfsLiteral,
    WfsResult, WfsRule,
};