Enum EpistemicComponentMergeReason 

pub enum EpistemicComponentMergeReason {
    SharedHeadPredicate {
        predicate: String,
    },
    DerivedPredicate {
        predicate: String,
    },
    SharedModalPredicate {
        predicate: String,
    },
    Constraint {
        predicates: Vec<String>,
    },
}

Reason that two source rules were coalesced into the same dependency component.

These reasons make the split planner’s structural decisions explainable: a caller can read, for every component, why its rules could not be solved independently of one another (K3 split diagnostics).

Variants

SharedHeadPredicate

Two rules share the same head predicate, so they jointly define one derived relation and must be solved together.

Fields

predicate: String

Head predicate defined by both rules.

DerivedPredicate

One rule’s body consumes a predicate that another rule derives in its head (an ordinary/negated derived dependency).

Fields

predicate: String

Head predicate produced by the producer rule and consumed by the consumer rule body.

SharedModalPredicate

Two rules reference the same epistemic (modal) predicate, so their world-view acceptance is mutually dependent.

Fields

predicate: String

Epistemic predicate referenced by both rules, with arity.

Constraint

An integrity constraint mentions head predicates owned by both rules, so the constraint coalesces exactly those components.

Fields

predicates: Vec<String>

Constraint-mentioned head predicates that forced the coalesce.

Trait Implementations

impl Clone for EpistemicComponentMergeReason

fn clone(&self) -> EpistemicComponentMergeReason

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EpistemicComponentMergeReason

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

Formats the value using the given formatter.

impl Ord for EpistemicComponentMergeReason

fn cmp(&self, other: &EpistemicComponentMergeReason) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl PartialEq for EpistemicComponentMergeReason

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

fn partial_cmp(&self, other: &EpistemicComponentMergeReason) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &Rhs) -> bool

Tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Rhs) -> bool

Tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Rhs) -> bool

Tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Rhs) -> bool

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl Eq for EpistemicComponentMergeReason

impl StructuralPartialEq for EpistemicComponentMergeReason