Trait LogicValue

pub trait LogicValue:
    Copy
    + Clone
    + PartialEq
    + Eq
    + Hash
    + 'static {
    // Required methods
    fn num_values() -> usize;
    fn value(idx: usize) -> Self;
    fn zero() -> Self;
    fn one() -> Self;
}

Abstraction of logic values.

Required Methods

fn num_values() -> usize

Get number of different values that this type can have.

fn value(idx: usize) -> Self

List of possible logic values.

fn zero() -> Self

Additive neutral element.

fn one() -> Self

Multiplicative neutral element.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl LogicValue for bool

fn num_values() -> usize

fn value(idx: usize) -> Self

fn zero() -> Self

fn one() -> Self

Implementors

impl LogicValue for Bool

impl LogicValue for Logic3