Enum ModalStrategy 

pub enum ModalStrategy {
    AllWorldsMin,
    AllWorldsProduct,
    Threshold {
        threshold: f64,
    },
}

Strategy for compiling modal logic operators (Box □, Diamond ◇).

Variants

AllWorldsMin

All worlds must satisfy (min reduction over worlds)

• Box: min_w P(w)
• Diamond: max_w P(w)

AllWorldsProduct

Product over all worlds

• Box: ∏_w P(w)
• Diamond: 1 - ∏_w (1 - P(w))

Threshold

Threshold-based satisfaction

• Box: ∀w. P(w) > threshold
• Diamond: ∃w. P(w) > threshold

Fields

threshold: f64

Threshold value (0.0 to 1.0)

Trait Implementations

impl Clone for ModalStrategy

fn clone(&self) -> ModalStrategy

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ModalStrategy

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ModalStrategy

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for ModalStrategy

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

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Copy for ModalStrategy

impl Eq for ModalStrategy

impl StructuralPartialEq for ModalStrategy