Struct EnsembleDefinition 

pub struct EnsembleDefinition {
    pub name: String,
    pub observations: Vec<String>,
    pub quorum: Option<i64>,
    pub aggregation: String,
    pub certainty_mode: String,
    pub loc: Loc,
    pub leading_trivia: Vec<Trivia>,
    pub trailing_trivia: Vec<Trivia>,
}

ensemble Name { observations, quorum, aggregation, certainty_mode }

Byzantine quorum aggregator over ≥2 independent observations. Yields common knowledge Cφ (Fagin-Halpern) when at least quorum observers agree. Failed observations are excluded; below quorum raises CT-3.

Fields

name: String

observations: Vec<String>

quorum: Option<i64>

aggregation: String

certainty_mode: String

loc: Loc

leading_trivia: Vec<Trivia>

Fase 14.b — leading comment trivia attached to this declaration (comments preceding the declaration’s first token, since the previous declaration or file start). Empty by default.

trailing_trivia: Vec<Trivia>

Fase 14.b — trailing comment trivia (same line as the declaration’s last effective token). Empty by default.

Trait Implementations

impl Debug for EnsembleDefinition

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

Formats the value using the given formatter.

impl Default for EnsembleDefinition

fn default() -> EnsembleDefinition

Returns the “default value” for a type.