Enum ModalDomain 

pub enum ModalDomain {
    Alethic,
    Deontic,
    Temporal,
}

Modal logic domain classification.

Determines the accessibility relation in Kripke semantics: what kinds of possible worlds are relevant.

Variants

Alethic

Alethic modality: logical/metaphysical possibility and necessity. “It is possible that P” = P holds in some accessible world.

Deontic

Deontic modality: obligation and permission. “It is obligatory that P” = P holds in all deontically ideal worlds.

Temporal

Temporal modality: hardware state transitions. Accessibility = next-state relation (clock-cycle transitions).

Trait Implementations

impl Clone for ModalDomain

fn clone(&self) -> ModalDomain

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ModalDomain

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

Formats the value using the given formatter.

impl PartialEq for ModalDomain

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

impl StructuralPartialEq for ModalDomain