Struct KripkeFrame 

pub struct KripkeFrame {
    pub worlds: Vec<String>,
    pub accessibility: Vec<(usize, usize)>,
}

Modal logic Kripke frame.

Fields

worlds: Vec<String>

accessibility: Vec<(usize, usize)>

Implementations

impl KripkeFrame

pub fn new(worlds: Vec<&str>) -> Self

pub fn add_access(&mut self, w: usize, v: usize)

pub fn is_reflexive(&self) -> bool

pub fn is_transitive(&self) -> bool

pub fn is_symmetric(&self) -> bool

pub fn modal_logic_name(&self) -> &'static str

Trait Implementations

impl Clone for KripkeFrame

fn clone(&self) -> KripkeFrame

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for KripkeFrame

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

Formats the value using the given formatter.