Enum RelationBody 

pub enum RelationBody {
    ProbabilityMass {
        outcomes: ValueTypeSyntax,
        weights: Box<Expr>,
    },
    ProbabilityDensity {
        domain: String,
        measure: Option<ObservableMeasure>,
        density: Box<Expr>,
    },
    Conditions(Vec<RelationCondition>),
    Conservation(Box<ConservationSyntax>),
    Noise {
        process: NoiseProcess,
        parameter: Box<Expr>,
        independent: bool,
    },
    Stochastic {
        target: String,
        calculus: Option<StochasticCalculus>,
        drift: Option<Box<Expr>>,
        diffusions: Vec<(String, Expr)>,
        jumps: Vec<(String, Expr)>,
    },
}

Exclusive mathematical syntax of a Relation declaration.

Variants

ProbabilityMass

Normalized mass on an exact nominal enumeration.

Fields

outcomes: ValueTypeSyntax

Named outcome type; it must resolve to an Enum declaration.

weights: Box<Expr>

Nonnegative proportional weights in declaration order.

ProbabilityDensity

Normalized density relative to an explicit measure.

Fields

domain: String

Exact support of the reference measure.

measure: Option<ObservableMeasure>

Explicit specialized measure, or the Domain’s ordinary measure.

density: Box<Expr>

Nonnegative proportional density with inverse-measure units.

Conditions(Vec<RelationCondition>)

Ordered equalities, inequalities and complementarity conditions.

Conservation(Box<ConservationSyntax>)

Physical storage, flux and source terms on one domain.

Noise

Nominal process law with no random evaluation operation.

Fields

process: NoiseProcess

Mathematical increment law.

parameter: Box<Expr>

Covariance or intensity expression; never a sampling operation.

independent: bool

Explicit independence from other nominal groups.

Stochastic

Owned stochastic evolution through pure coefficient expressions.

Fields

target: String

Exact State selected in the owning lexical scope.

calculus: Option<StochasticCalculus>

Written continuous integral interpretation, absent for pure jumps.

drift: Option<Box<Expr>>

Ordinary pure drift expression.

diffusions: Vec<(String, Expr)>

Wiener group names with their authored coefficients.

jumps: Vec<(String, Expr)>

Counting group names with their authored State increments.

Trait Implementations

§

impl Clone for RelationBody

Signature links:CloneRelationBody

§

fn clone(&self) -> RelationBody

Signature links:cloneRelationBody

Returns a duplicate of the value.

§

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

Signature links:unstableSourceclone_from

Performs copy-assignment from source.

§

impl Debug for RelationBody

Signature links:DebugRelationBody

§

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

Signature links:fmtFormatterResult()Error

Formats the value using the given formatter.

§

impl PartialEq for RelationBody

Signature links:PartialEqRelationBody

§

fn eq(&self, other: &RelationBody) -> bool

Signature links:eqRelationBodybool

Tests for self and other values to be equal, and is used by ==.

§

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

Signature links:unstableSourcene&Rhsbool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for RelationBody