Struct EpistemicReductionPlan 

pub struct EpistemicReductionPlan {
    pub rule_index: usize,
    pub head_predicate: String,
    pub public_head_arity: usize,
    pub relational_body_atoms: usize,
    pub wcoj_status: EpistemicWcojReductionStatus,
}

One epistemic rule’s reduced ordinary-program planning summary.

Fields

rule_index: usize

Source-order rule index.

head_predicate: String

Head predicate materialized by the reduced production runtime plan.

public_head_arity: usize

PUBLIC head arity (the user-visible head term count, before any augmentation with modal-literal variables). The reduced relation buffer may carry extra augmented columns appended after these; per-head materialization projects the first public_head_arity columns so each coupled head keeps ITS OWN projection (coupled heads of differing arity all materialize their own public tuple shape).

relational_body_atoms: usize

Positive relational body atom count after removing epistemic literals.

wcoj_status: EpistemicWcojReductionStatus

WCOJ planner status for the reduced ordinary body.

Trait Implementations

impl Clone for EpistemicReductionPlan

fn clone(&self) -> EpistemicReductionPlan

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EpistemicReductionPlan

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

Formats the value using the given formatter.

impl Eq for EpistemicReductionPlan

impl PartialEq for EpistemicReductionPlan

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