Struct volute::sop::Cube

pub struct Cube { /* private fields */ }

Representation of the And of variables (a cube in Sum-of-Products representations)

Each variable is represented by a pair of bits, representing respectively the positive and negative literal. If none is set, the variable is unused. If both are set, the cube is 0.

It only supports And operations. Anything else must be implemented by more complex representations that use it, such as sum-of-products.

Implementations

impl Cube

pub fn one() -> Cube

The empty cube

pub fn zero() -> Cube

The zero cube (not strictly a cube, so it gets a special representation)

pub fn is_constant(&self) -> bool

Check whether the cube is a constant

pub fn is_zero(&self) -> bool

Check whether the cube is a constant zero

This can happen after And operations, so we check if any variable has the two bits set.

pub fn is_one(&self) -> bool

Check whether the cube is the constant one

pub fn nth_var(var: usize) -> Cube

Return the cube representing the nth variable

pub fn nth_var_inv(var: usize) -> Cube

Return the cube representing the nth variable, inverted

pub fn minterm(num_vars: usize, mask: usize) -> Cube

Obtain the minterm for a value of the variables

pub fn value(&self, mask: usize) -> bool

Get the value of the Cube for these inputs (input bits packed in the mask)

pub fn from_vars(pos_vars: &[usize], neg_vars: &[usize]) -> Cube

Build a cube from the literals in it

pub fn from_mask(pos: u32, neg: u32) -> Cube

Build a cube directly from the integer masks

pub fn num_lits(&self) -> usize

Return the number of literals

pub fn num_gates(&self) -> usize

Return the number of And2 gates necessary to implement the cube

pub fn pos_vars(&self) -> impl Iterator<Item = usize> + '_

Returns the variables that are positive in the cube

pub fn neg_vars(&self) -> impl Iterator<Item = usize> + '_

Returns the variables that are negative in the cube

pub fn intersects(&self, o: Cube) -> bool

Returns whether the cube intersects another

pub fn implies(&self, o: Cube) -> bool

Returns whether the cube implies another

pub fn implies_lut(&self, lut: &Lut) -> bool

Return whether the cube implies the given Lut

pub fn all(vars: usize) -> impl Iterator<Item = Cube>

Return all possible cubes with a given number of variables

Trait Implementations

impl BitAnd<&Cube> for &Cube

type Output = Cube

The resulting type after applying the & operator.

fn bitand(self, rhs: &Cube) -> Self::Output

Performs the & operation.

impl BitAnd<&Cube> for Cube

type Output = Cube

The resulting type after applying the & operator.

fn bitand(self, rhs: &Cube) -> Self::Output

Performs the & operation.

impl BitAnd<Cube> for &Cube

type Output = Cube

The resulting type after applying the & operator.

fn bitand(self, rhs: Cube) -> Self::Output

Performs the & operation.

impl BitAnd for Cube

type Output = Cube

The resulting type after applying the & operator.

fn bitand(self, rhs: Cube) -> Self::Output

Performs the & operation.

impl Clone for Cube

fn clone(&self) -> Cube

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Cube

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

Formats the value using the given formatter.

impl Display for Cube

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

Formats the value using the given formatter.

impl Hash for Cube

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Ord for Cube

fn cmp(&self, other: &Cube) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized + PartialOrd,

Restrict a value to a certain interval.

impl PartialEq for Cube

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

This method tests for self and other values to be equal, and is used by ==.

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

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

impl PartialOrd for Cube

fn partial_cmp(&self, other: &Cube) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

This method tests less than (for self and other) and is used by the < operator.

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

This method tests less than or equal to (for self and other) and is used by the <= operator.

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

This method tests greater than (for self and other) and is used by the > operator.

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

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl Copy for Cube

impl Eq for Cube

impl StructuralEq for Cube

impl StructuralPartialEq for Cube