Enum EpistemicGpuRejectionReason 

pub enum EpistemicGpuRejectionReason {
    InactiveWorld,
    InvalidCandidateBit,
    MissingReducedModel,
    UnsatisfiedMembership,
    WorldViewConstraintViolation,
}

Typed interpretation of nonzero GPU epistemic rejection codes.

Variants

InactiveWorld

Candidate was rejected because its world-view row was inactive.

InvalidCandidateBit

Candidate buffer contained a value outside the valid boolean bit range.

MissingReducedModel

Candidate did not have a reduced-model tuple source to validate against.

UnsatisfiedMembership

Candidate assumptions were not supported by model-membership evidence.

WorldViewConstraintViolation

Accepted world view satisfied an epistemic integrity constraint body.

Implementations

impl EpistemicGpuRejectionReason

pub const fn code(self) -> u32

Return the raw device rejection code used by the CUDA kernels.

pub fn from_code(code: u32) -> Result<Self>

Decode a nonzero device rejection code into a typed reason.

Trait Implementations

impl Clone for EpistemicGpuRejectionReason

fn clone(&self) -> EpistemicGpuRejectionReason

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EpistemicGpuRejectionReason

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

Formats the value using the given formatter.

impl PartialEq for EpistemicGpuRejectionReason

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

impl Eq for EpistemicGpuRejectionReason

impl StructuralPartialEq for EpistemicGpuRejectionReason