Struct SmallTruthTable 

pub struct SmallTruthTable { /* private fields */ }

Small truth table with up to 6 input variables. The truth table is stored in a u64.

Implementations

impl SmallTruthTable

pub fn new<const NUM_INPUTS: usize>( f: impl Fn([bool; NUM_INPUTS]) -> bool, ) -> Self

Construct a truth table from a boolean function. The function can have at most 6 inputs.

pub fn zero(num_inputs: usize) -> Self

Create a truth-table with all output bits set to zero.

pub const fn from_table(table: u64, num_inputs: usize) -> Self

Create a new truth-table from the bits encoded in an u64.

pub fn from_boolean_function<F: BooleanFunction>(f: &F) -> Self

Create a small truth table with up to 6 inputs from a generic boolean function.

Panics

Panics if the boolean function has more than 6 inputs.

Trait Implementations

impl BooleanFunction for SmallTruthTable

fn eval(&self, input_values: &[bool]) -> bool

Evaluate the boolean function with the given input values.

impl BooleanSystem for SmallTruthTable

fn evaluate_term(&self, _term: &(), input_values: &[bool]) -> bool

Compute the value of the term. The values of all needed literals must be defined by the input_values function.

impl Clone for SmallTruthTable

fn clone(&self) -> SmallTruthTable

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SmallTruthTable

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

Formats the value using the given formatter.

impl<const STATIC_NUM_INPUTS: usize> From<SmallStaticTruthTable<STATIC_NUM_INPUTS>> for SmallTruthTable

fn from(tt: SmallStaticTruthTable<STATIC_NUM_INPUTS>) -> Self

Convert a static number of inputs into a dynamic number of inputs.

impl Hash for SmallTruthTable

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 NumInputs for SmallTruthTable

fn num_inputs(&self) -> usize

Get the number of inputs of the boolean function.

impl NumOutputs for SmallTruthTable

fn num_outputs(&self) -> usize

Get the number of outputs of the boolean function.

impl Ord for SmallTruthTable

fn cmp(&self, other: &SmallTruthTable) -> 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,

Restrict a value to a certain interval.

impl PartialBooleanFunction for SmallTruthTable

fn partial_eval(&self, input_values: &[bool]) -> Option<bool>

Evaluate the boolean function with the given input values.

impl PartialBooleanSystem for SmallTruthTable

type LiteralId = u32

An identifier for an input of the boolean formula.

type TermId = ()

An identifier of an intermediate value or output.

fn evaluate_term_partial( &self, term: &(), input_values: &[bool], ) -> Option<bool>

Compute the value of the term. The values of all needed literals must be defined by the input_values function. Returns None if the value is not specified for the given inputs.

impl PartialEq for SmallTruthTable

fn eq(&self, other: &SmallTruthTable) -> 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 PartialOrd for SmallTruthTable

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

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

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

Tests less than (for self and other) and is used by the < operator.

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

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

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

Tests greater than (for self and other) and is used by the > operator.

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

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

impl PartialTruthTable for SmallTruthTable

fn partial_evaluate(&self, input_bits: u64) -> Option<bool>

Evaluate the boolean function with the given input bits encoded in an integer. The first bit is in the least significant bit. Returns None if the output is not specified for the given input.

impl SmallTT for SmallTruthTable

fn table(&self) -> u64

Get the the lookup-table encoded as a u64.

fn set_table(self, table: u64) -> Self

Set the output bits.

fn invert_if(self, condition: bool) -> Self

Invert the output bit iff the condition is true.

fn invert(self) -> Self

Invert the output bit.

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

Compute the bitwise AND operation of the output bits.

fn swap_inputs(self, i: usize, j: usize) -> Self

Swap two inputs and permute the table accordingly.

fn invert_input(self, i: usize) -> Self

Create a new truth-table with the i-th input inverted.

fn count_ones(&self) -> usize

Return the number of true-values in the table.

impl TruthTable for SmallTruthTable

fn get_bit(&self, bits: u64) -> bool

Get a truth-table bit. Evaluate the boolean function with the given input bits encoded in an integer. The first bit is in the least significant bit.

fn size(&self) -> usize

Get the number of entries in this table.

impl TruthTableEdit for SmallTruthTable

fn set_bit(&mut self, bit_index: usize, value: bool)

Set the value of an output bit in the truth-table.

impl<const NUM_INPUTS: usize> TryFrom<SmallTruthTable> for SmallStaticTruthTable<NUM_INPUTS>

fn try_from(tt: SmallTruthTable) -> Result<Self, Self::Error>

Convert to a truth-table with static number of inputs. Returns an Err if the dynamic number of inputs does not match.

type Error = ()

The type returned in the event of a conversion error.

impl Copy for SmallTruthTable

impl Eq for SmallTruthTable

impl StaticNumOutputs<1> for SmallTruthTable

impl StructuralPartialEq for SmallTruthTable