Enum DistributiveStrategy 

pub enum DistributiveStrategy {
    AndOverOr,
    OrOverAnd,
    Quantifiers,
    Modal,
    All,
}

Strategy for applying distributive laws.

Variants

AndOverOr

Distribute AND over OR: A ∧ (B ∨ C) → (A ∧ B) ∨ (A ∧ C)

OrOverAnd

Distribute OR over AND: A ∨ (B ∧ C) → (A ∨ B) ∧ (A ∨ C)

Quantifiers

Distribute quantifiers when possible

Modal

Distribute modal operators

All

Apply all distributive laws

Trait Implementations

impl Clone for DistributiveStrategy

fn clone(&self) -> DistributiveStrategy

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DistributiveStrategy

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

Formats the value using the given formatter.

impl PartialEq for DistributiveStrategy

fn eq(&self, other: &DistributiveStrategy) -> 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 Copy for DistributiveStrategy

impl Eq for DistributiveStrategy

impl StructuralPartialEq for DistributiveStrategy