Struct SpecSetPlanningResult 

pub struct SpecSetPlanningResult {
    pub name: String,
    pub lemma_spec_set: LemmaSpecSet,
    pub specs: Vec<SpecPlanningResult>,
}

Result of planning a LemmaSpecSet (all specs sharing a name).

Fields

name: String

Logical spec name.

lemma_spec_set: LemmaSpecSet

specs: Vec<SpecPlanningResult>

Implementations

impl SpecSetPlanningResult

pub fn errors(&self) -> impl Iterator<Item = &Error>

pub fn execution_plan_set(&self) -> ExecutionPlanSet

pub fn schema_over( &self, from: &Option<DateTimeValue>, to: &Option<DateTimeValue>, ) -> Option<SpecSchema>

The interface this set exposes over [from, to), or None if any two overlapping LemmaSpec slices disagree on the type of a name they both expose. The returned schema is one of the in-range slices’ full-surface schemas; all of them are type-compatible when Some is returned.

Trait Implementations

impl Clone for SpecSetPlanningResult

fn clone(&self) -> SpecSetPlanningResult

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SpecSetPlanningResult

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

Formats the value using the given formatter.