Trait PartialBooleanFunction 

pub trait PartialBooleanFunction: PartialBooleanSystem + StaticNumOutputs<1> {
    // Required method
    fn partial_eval(&self, input_values: &[bool]) -> Option<bool>;
}

Special case of a boolean system with exactly one output.

Required Methods

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

Evaluate the boolean function with the given input values.

Implementors

impl PartialBooleanFunction for SmallTruthTable

impl<'a, T: PartialBooleanSystem> PartialBooleanFunction for OutputSelection<'a, T, T::TermId>

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