Struct EpistemicStratum 

pub struct EpistemicStratum {
    pub head_predicates: Vec<String>,
    pub rule_indices: Vec<usize>,
    pub program: Program,
}

Split an epistemic program into independently solvable bounded components. One stratum of a stratified epistemic program: a self-contained sub-program whose epistemic heads gate only over EDB/invariant relations OR over the materialized (now-base) outputs of strictly-lower strata.

Fields

head_predicates: Vec<String>

The epistemic output head predicate(s) this stratum materializes.

rule_indices: Vec<usize>

Source-rule indices owned by this stratum.

program: Program

The self-contained sub-program for this stratum (its own defining rules plus the facts/EDB it needs). Lower-stratum heads are NOT redefined here; at execution they are present in the store as materialized base relations.

Trait Implementations

impl Clone for EpistemicStratum

fn clone(&self) -> EpistemicStratum

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EpistemicStratum

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

Formats the value using the given formatter.