Trait libreda_logic::traits::BooleanSystem

pub trait BooleanSystem: PartialBooleanSystem {
    // Required method
    fn evaluate_term(&self, term: &Self::TermId, input_values: &[bool]) -> bool;
}

A set of fully specified boolean formulas.

Required Methods

fn evaluate_term(&self, term: &Self::TermId, input_values: &[bool]) -> bool

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

Implementors

impl BooleanSystem for SmallTruthTable

impl<'a, N> BooleanSystem for RecursiveSim<'a, N>

where N: Network<LogicValue = bool>, N::Signal: EdgeWithInversion + Ord,

impl<'a, T: BooleanSystem> BooleanSystem for OutputSelection<'a, T, T::TermId>

impl<F> BooleanSystem for F

where F: Fn(bool, bool) -> bool + PartialBooleanSystem<LiteralId = usize>,

Implement the boolean system for two-input boolean functions.

impl<F, const NUM_INPUTS: usize, const NUM_OUTPUTS: usize> BooleanSystem for NativeBooleanFunction<F, NUM_INPUTS, NUM_OUTPUTS>

where F: Fn([bool; NUM_INPUTS]) -> [bool; NUM_OUTPUTS],

impl<Node> BooleanSystem for LogicNetwork<Node>

where Node: NetworkNode<NodeId = NodeId>,

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