Enum DoCalculusRule 

pub enum DoCalculusRule {
    Rule1,
    Rule2,
    Rule3,
    None,
}

Which rule of Pearl’s do-calculus applies to a given query.

Variants

Rule1

Rule 1: Insertion/deletion of observations.

P(y | do(x), z, w) = P(y | do(x), w) when (Y ⊥ Z | X, W) in G_{X̄}.

Rule2

Rule 2: Action/observation exchange.

P(y | do(x), do(z), w) = P(y | do(x), z, w) when (Y ⊥ Z | X, W) in G_{X̄, Z̄}.

Rule3

Rule 3: Insertion/deletion of actions.

P(y | do(x), do(z), w) = P(y | do(x), w) when (Y ⊥ Z | X, W) in G_{X̄, Z(W)}.

None

None of the three rules applies directly.

Trait Implementations

impl Clone for DoCalculusRule

fn clone(&self) -> DoCalculusRule

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DoCalculusRule

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

Formats the value using the given formatter.

impl Eq for DoCalculusRule

impl PartialEq for DoCalculusRule

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

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

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

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

impl StructuralPartialEq for DoCalculusRule