Enum ForceabilityReason 

pub enum ForceabilityReason {
    AllForceable,
    ContainsDerivedEvidence,
    ContainsNegativeAdHeadEvidence,
    NoEvidence,
}

Why evidence may or may not be forceable to root Bernoulli variables.

Variants

AllForceable

Every evidence literal maps directly to a sampled Bernoulli variable.

ContainsDerivedEvidence

At least one evidence literal is derived rather than sampled directly.

ContainsNegativeAdHeadEvidence

A negated annotated-disjunction head cannot be represented by direct clamping.

NoEvidence

The program contains no evidence to clamp.

Trait Implementations

impl Clone for ForceabilityReason

fn clone(&self) -> ForceabilityReason

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ForceabilityReason

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

Formats the value using the given formatter.

impl Eq for ForceabilityReason

impl PartialEq for ForceabilityReason

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ForceabilityReason