Struct ModalVector 

pub struct ModalVector {
    pub domain: ModalDomain,
    pub force: f32,
    pub flavor: ModalFlavor,
    pub modal_base: Option<Symbol>,
    pub ordering_source: Option<Symbol>,
}

Modal operator parameters for Kripke semantics (Kratzer-style).

Combines domain (what kind of modality), force (necessity vs possibility), and flavor (scope/evidence behavior) with the conversational backgrounds: a modal base f (which worlds are in play) and an ordering source g (how they are ranked). For evidentials the modal base names the evidence-source lexeme (seem/appear); counterfactuals use g = similarity.

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).

modal_base: Option<Symbol>

Kratzer modal base f — the conversational background supplying the accessible worlds (for evidentials: the evidence-source lexeme).

ordering_source: Option<Symbol>

Kratzer ordering source g — ranks the modal-base worlds by ideality / normality / similarity.

Implementations

impl ModalVector

pub fn new(domain: ModalDomain, force: f32, flavor: ModalFlavor) -> ModalVector

A modal vector with empty conversational backgrounds (f = g = None).

pub fn with_base(self, base: Symbol) -> ModalVector

Attach a Kratzer modal base f.

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<(), Error>

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