Struct SmallStaticTruthTable 

pub struct SmallStaticTruthTable<const NUM_INPUTS: usize> { /* private fields */ }

Small truth table with up to 6 input variables. The truth table is stored in a u64. The number of inputs is known at compile time.

Parameters

• STATIC_NUM_INPUTS : Number of inputs, known at compile time. Set to 0 for dynamic input counts.

Implementations

impl<const NUM_INPUTS: usize> SmallStaticTruthTable<NUM_INPUTS>

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

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

Trait Implementations

impl<const NUM_INPUTS: usize> BooleanFunction for SmallStaticTruthTable<NUM_INPUTS>

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

Evaluate the boolean function with the given input values.

impl<const NUM_INPUTS: usize> BooleanSystem for SmallStaticTruthTable<NUM_INPUTS>

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<const NUM_INPUTS: usize> Clone for SmallStaticTruthTable<NUM_INPUTS>

fn clone(&self) -> SmallStaticTruthTable<NUM_INPUTS>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<const NUM_INPUTS: usize> Debug for SmallStaticTruthTable<NUM_INPUTS>

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<const NUM_INPUTS: usize> Hash for SmallStaticTruthTable<NUM_INPUTS>

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<const N: usize> NumInputs for SmallStaticTruthTable<N>

fn num_inputs(&self) -> usize

Get the number of inputs of the boolean function.

impl<const N: usize> NumOutputs for SmallStaticTruthTable<N>

fn num_outputs(&self) -> usize

Get the number of outputs of the boolean function.

impl<const NUM_INPUTS: usize> Ord for SmallStaticTruthTable<NUM_INPUTS>

fn cmp(&self, other: &SmallStaticTruthTable<NUM_INPUTS>) -> 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<const NUM_INPUTS: usize> PartialBooleanFunction for SmallStaticTruthTable<NUM_INPUTS>

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

Evaluate the boolean function with the given input values.

impl<const NUM_INPUTS: usize> PartialBooleanSystem for SmallStaticTruthTable<NUM_INPUTS>

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<const NUM_INPUTS: usize> PartialEq for SmallStaticTruthTable<NUM_INPUTS>

fn eq(&self, other: &SmallStaticTruthTable<NUM_INPUTS>) -> 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<const NUM_INPUTS: usize> PartialOrd for SmallStaticTruthTable<NUM_INPUTS>

fn partial_cmp( &self, other: &SmallStaticTruthTable<NUM_INPUTS>, ) -> 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<const NUM_INPUTS: usize> PartialTruthTable for SmallStaticTruthTable<NUM_INPUTS>

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<const NUM_INPUTS: usize> SmallTT for SmallStaticTruthTable<NUM_INPUTS>

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<const NUM_INPUTS: usize> TruthTable for SmallStaticTruthTable<NUM_INPUTS>

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<const NUM_INPUTS: usize> TruthTableEdit for SmallStaticTruthTable<NUM_INPUTS>

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<const NUM_INPUTS: usize> Copy for SmallStaticTruthTable<NUM_INPUTS>

impl<const NUM_INPUTS: usize> Eq for SmallStaticTruthTable<NUM_INPUTS>

impl<const N: usize> StaticNumInputs<N> for SmallStaticTruthTable<N>

impl<const N: usize> StaticNumOutputs<1> for SmallStaticTruthTable<N>

impl<const NUM_INPUTS: usize> StructuralPartialEq for SmallStaticTruthTable<NUM_INPUTS>