Trait minisat::ModelValue

pub trait ModelValue<'a> {
    type T;
    fn value(&'a self, m: &'a Model) -> Self::T;
}

Object that has a value in the Model of a satisfiable instance.

Associated Types

type T

Loading content...

Required methods

fn value(&'a self, m: &'a Model) -> Self::T

Loading content...

Implementors

impl<'a> ModelValue<'a> for Bool

type T = bool

fn value(&self, m: &Model) -> bool

impl<'a> ModelValue<'a> for Binary

type T = usize

fn value(&self, m: &Model) -> usize

impl<'a> ModelValue<'a> for Unary

type T = usize

fn value(&self, m: &Model) -> usize

impl<'a, V: 'a> ModelValue<'a> for Symbolic<V>

type T = &'a V

fn value(&'a self, m: &'a Model) -> Self::T

Loading content...