Struct EpistemicStratifiedPlan 

pub struct EpistemicStratifiedPlan {
    pub strata: Vec<EpistemicStratum>,
    pub ordinary_post_program: Program,
}

A stratified epistemic execution plan: an ordered sequence of strata.

Stratum i’s epistemic heads are materialized (gated) into the relation store BEFORE stratum i+1 runs, so a higher stratum’s know/possible over a lower stratum’s head reads the GATED extension through the EXISTING membership filter (no resolve-into-body, no double-gating).

Fields

strata: Vec<EpistemicStratum>

Strata in execution (topological) order.

ordinary_post_program: Program

One prepared ordinary closure and constraint stage executed after every stratum has materialized its gated heads.

Trait Implementations

impl Clone for EpistemicStratifiedPlan

fn clone(&self) -> EpistemicStratifiedPlan

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EpistemicStratifiedPlan

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

Formats the value using the given formatter.