Enum EpistemicGpuHotPathPhase 

pub enum EpistemicGpuHotPathPhase {
    CandidateGeneration,
    Propagation,
    CandidateValidation,
    ModelMembership,
    WorldViewValidation,
    ResultMaterialization,
    FinalResultMaterialization,
    FinalTupleMaterialization,
}

Generate-Propagate-Test hot-path phase that must execute on GPU.

Variants

CandidateGeneration

Candidate epistemic assumptions are generated on device.

Propagation

Candidate assumptions are propagated into reduced programs on device.

CandidateValidation

Candidate bitsets are validated on device before production dispatch.

ModelMembership

Stable-model tuple membership is populated on device.

WorldViewValidation

Reduced-program stable models are checked against world-view guesses on device.

ResultMaterialization

Accepted world views and query results are materialized from device buffers.

FinalResultMaterialization

Final result flags are materialized from device-side output metadata.

FinalTupleMaterialization

Final query tuples are materialized into a device-resident output buffer.

Trait Implementations

impl Clone for EpistemicGpuHotPathPhase

fn clone(&self) -> EpistemicGpuHotPathPhase

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EpistemicGpuHotPathPhase

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

Formats the value using the given formatter.

impl PartialEq for EpistemicGpuHotPathPhase

fn eq(&self, other: &EpistemicGpuHotPathPhase) -> 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 EpistemicGpuHotPathPhase

impl Eq for EpistemicGpuHotPathPhase

impl StructuralPartialEq for EpistemicGpuHotPathPhase