Trait splr::types::PropertyDereference

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

Required methods

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

Implementors

impl PropertyDereference<Tusize, usize> for AssignStack

impl PropertyDereference<Tf64, f64> for ClauseDB

impl PropertyDereference<Tusize, usize> for ClauseDB

impl PropertyDereference<Tf64, f64> for Config

impl PropertyDereference<Tusize, usize> for Eliminator

impl PropertyDereference<Tusize, usize> for Restarter

impl PropertyDereference<Tusize, usize> for State