Trait splr::types::PropertyDereference

pub trait PropertyDereference<I, O: Sized> {
    fn derefer(&self, key: I) -> O;
}

Required methods

fn derefer(&self, key: I) -> O

Loading content...

Implementors

impl PropertyDereference<Tusize, usize> for AssignStack

fn derefer(&self, k: Tusize) -> usize

impl PropertyDereference<Tf64, f64> for ClauseDB

fn derefer(&self, k: Tf64) -> f64

impl PropertyDereference<Tusize, usize> for ClauseDB

fn derefer(&self, k: Tusize) -> usize

impl PropertyDereference<Tusize, usize> for Eliminator

fn derefer(&self, k: Tusize) -> usize

impl PropertyDereference<Tusize, usize> for Restarter

fn derefer(&self, k: Tusize) -> usize

Loading content...