Struct EpistemicConstraintPlan 

pub struct EpistemicConstraintPlan {
    pub constraint_index: usize,
    pub literal_indices: Vec<usize>,
}

World-view integrity constraint lowered for accepted GPU execution.

An epistemic integrity constraint (:- know unsafe().) must reject a candidate world view when the conjunction of its body literals evaluates true under the selected epistemic semantics. Each body epistemic literal is kept first-class as an EpistemicGpuPlan::epistemic_literals entry; this plan only records which literal indices form the constraint conjunction so the device constraint kernel can prune candidates whose accepted world view satisfies the constraint body.

Fields

constraint_index: usize

Source-order constraint index.

literal_indices: Vec<usize>

Indices into EpistemicGpuPlan::epistemic_literals forming the body conjunction.

The accepted world view violates the constraint exactly when every referenced literal’s negation-folded modal value holds, so the device kernel rejects a candidate when all of these literal assumption bits are set.

Trait Implementations

impl Clone for EpistemicConstraintPlan

fn clone(&self) -> EpistemicConstraintPlan

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EpistemicConstraintPlan

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

Formats the value using the given formatter.

impl PartialEq for EpistemicConstraintPlan

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

impl StructuralPartialEq for EpistemicConstraintPlan