Trait puan_pv::PropT

source · 
pub trait PropT {
    // Required methods
    fn interpret(&self, interpretation: &HashMap<String, i64>) -> i64;
    fn negate(&self) -> Rc<Proposition>;
    fn to_sdic(&self) -> SDICType;
}

Required Methods§

source

fn interpret(&self, interpretation: &HashMap<String, i64>) -> i64

source

fn negate(&self) -> Rc<Proposition>

source

fn to_sdic(&self) -> SDICType

Implementors§