Skip to main content

Sentence

propositional::core

Trait Sentence 

Source 
pub trait Sentence: 'static {
    // Required methods
    fn eval(&self, model: &Model) -> Option<bool>;
    fn symbols(&self) -> Vec<&Symbol>;
    fn formula(&self) -> String;

    // Provided method
    fn symbols_unique(&self) -> Vec<&Symbol> { ... }
}

Required Methods§

Source

fn eval(&self, model: &Model) -> Option<bool>

Source

fn symbols(&self) -> Vec<&Symbol>

Source

fn formula(&self) -> String

Provided Methods§

Source

fn symbols_unique(&self) -> Vec<&Symbol>

Trait Implementations§

Source§

impl Display for dyn Sentence

Source§

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

Formats the value using the given formatter. Read more

Dyn Compatibility§

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors§