Struct EpistemicProbPirCnfEvidence 

pub struct EpistemicProbPirCnfEvidence {
    pub pir_nodes: usize,
    pub root_count: usize,
    pub cnf_var_cap: u32,
    pub cnf_clause_cap: u32,
    pub cnf_lit_cap: u32,
}

Device-side PIR/CNF evidence produced after accepted epistemic gating.

Fields

pir_nodes: usize

Number of host provenance PIR nodes uploaded to the GPU PIR layout.

root_count: usize

Number of roots supplied to GPU CNF encoding.

cnf_var_cap: u32

GPU CNF variable capacity emitted by encode_cnf_gpu.

cnf_clause_cap: u32

GPU CNF clause capacity emitted by encode_cnf_gpu.

cnf_lit_cap: u32

GPU CNF literal capacity emitted by encode_cnf_gpu.

Trait Implementations

impl Clone for EpistemicProbPirCnfEvidence

fn clone(&self) -> EpistemicProbPirCnfEvidence

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for EpistemicProbPirCnfEvidence

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for EpistemicProbPirCnfEvidence

fn default() -> EpistemicProbPirCnfEvidence

Returns the “default value” for a type.

impl PartialEq for EpistemicProbPirCnfEvidence

fn eq(&self, other: &EpistemicProbPirCnfEvidence) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for EpistemicProbPirCnfEvidence

impl Eq for EpistemicProbPirCnfEvidence

impl StructuralPartialEq for EpistemicProbPirCnfEvidence