Enum Bool

pub enum Bool {
    True,
    False,
    Term(u8),
    And(Vec<Bool>),
    Or(Vec<Bool>),
    Not(Box<Bool>),
}

Variants

True

False

Term(u8)

can be any number in 0..32, anything else will cause panics or wrong results

And(Vec<Bool>)

needs to contain at least two elements

Or(Vec<Bool>)

needs to contain at least two elements

Not(Box<Bool>)

Implementations

impl Bool

pub fn terms(&self) -> u32

pub fn eval(&self, terms: u32) -> bool

pub fn minterms(&self) -> Vec<Term>

pub fn simplify(&self) -> Vec<Bool>

Trait Implementations

impl BitAnd for Bool

type Output = Bool

The resulting type after applying the & operator.

fn bitand(self, rhs: Bool) -> Bool

Performs the & operation.

impl BitOr for Bool

type Output = Bool

The resulting type after applying the | operator.

fn bitor(self, rhs: Bool) -> Bool

Performs the | operation.

impl Clone for Bool

fn clone(&self) -> Bool

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Bool

fn fmt(&self, fmt: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Not for Bool

type Output = Bool

The resulting type after applying the ! operator.

fn not(self) -> Bool

Performs the unary ! operation.

impl PartialEq for Bool

fn eq(&self, other: &Self) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for Bool