Struct Model 

pub struct Model { /* private fields */ }

Implementations

impl Model

pub fn new() -> Self

pub fn set(&mut self, symbol: &Symbol, value: bool)

pub fn get(&self, symbol: &Symbol) -> Option<&bool>

pub fn eval<S: Sentence>(&self, sentence: &S) -> Option<bool>

pub fn assert_true<S: Sentence>(&self, sentence: &S)

pub fn assert_false<S: Sentence>(&self, sentence: &S)

Trait Implementations

impl Clone for Model

fn clone(&self) -> Model

Returns a duplicate of the value.

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

Performs copy-assignment from source.