Struct EpistemicTupleMembershipBinding 

pub struct EpistemicTupleMembershipBinding {
    pub literal_index: usize,
    pub reduction_index: usize,
    pub predicate: String,
    pub arity: usize,
    pub key_columns: Vec<usize>,
    pub key_terms: Vec<EirTerm>,
    pub bound_output_columns: Vec<Option<usize>>,
    pub op: EirEpistemicOp,
    pub negated: bool,
}

Binding from an epistemic literal to reduced stable-model tuple evidence.

Fields

literal_index: usize

Index of the epistemic literal in EpistemicGpuPlan::epistemic_literals.

reduction_index: usize

Index of the reduced rule in EpistemicGpuPlan::reductions.

predicate: String

Predicate whose stable-model tuples must be checked.

arity: usize

Predicate arity whose stable-model tuples must be checked.

key_columns: Vec<usize>

Source relation columns that form the tuple key for this epistemic atom.

key_terms: Vec<EirTerm>

Source atom terms that must be matched against the stable-model tuple key.

bound_output_columns: Vec<Option<usize>>

Reduced output column for each variable tuple-key term.

Ground terms use None; variable terms use Some(column_index).

op: EirEpistemicOp

Epistemic operator whose membership semantics are being checked.

negated: bool

Whether the epistemic literal is explicitly negated.

Trait Implementations

impl Clone for EpistemicTupleMembershipBinding

fn clone(&self) -> EpistemicTupleMembershipBinding

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EpistemicTupleMembershipBinding

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

Formats the value using the given formatter.

impl PartialEq for EpistemicTupleMembershipBinding

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

impl StructuralPartialEq for EpistemicTupleMembershipBinding