Enum IdResult 

#[non_exhaustive]
pub enum IdResult {
    Identified(ProbExpr),
    NotIdentifiable(HedgeCertificate),
}

Result of the ID algorithm.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

Identified(ProbExpr)

The query P(y | do(x)) is identifiable.

NotIdentifiable(HedgeCertificate)

The query is NOT identifiable.

Implementations

impl IdResult

pub fn is_identified(&self) -> bool

Returns true if the effect is identifiable.

pub fn expression(&self) -> Option<&ProbExpr>

Return the expression if identified, or None.

pub fn hedge(&self) -> Option<&HedgeCertificate>

Return the hedge certificate if not identifiable, or None.

Trait Implementations

impl Clone for IdResult

fn clone(&self) -> IdResult

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for IdResult

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

Formats the value using the given formatter.