Struct ModalVector 

pub struct ModalVector {
    pub domain: ModalDomain,
    pub force: f32,
    pub flavor: ModalFlavor,
}

Modal operator parameters for Kripke semantics.

Combines domain (what kind of modality), force (necessity vs possibility), and flavor (scope behavior) into a single modal specification.

Fields

domain: ModalDomain

The modal domain: alethic or deontic.

force: f32

Modal force: 1.0 = necessity (□), 0.5 = possibility (◇), graded values between.

flavor: ModalFlavor

Scope flavor: root (narrow scope) or epistemic (wide scope).

Trait Implementations

impl Clone for ModalVector

fn clone(&self) -> ModalVector

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ModalVector

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

Formats the value using the given formatter.

impl PartialEq for ModalVector

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

impl StructuralPartialEq for ModalVector