Struct OutputSelection 

pub struct OutputSelection<'a, T, TermId> { /* private fields */ }

Wrap a multi-output Boolean function by selecting a single output.

Example

use libreda_logic::traits::*;
use libreda_logic::native_boolean_functions::*;
use libreda_logic::adaptors::*;

fn f([a]: [bool; 1]) -> [bool; 2] {
    [a, !a]   
}

// Wrap the native Rust function such that it implements the traits of Boolean functions.
let f2 = NativeBooleanFunction::new(f);

// Select the first output.
let f_0 = OutputSelection::new(&f2, 0);

// Select the second output.
let f_1 = OutputSelection::new(&f2, 1);

assert_eq!(f_0.eval(&[false]), false);
assert_eq!(f_0.eval(&[true]), true);

assert_eq!(f_1.eval(&[false]), true);
assert_eq!(f_1.eval(&[true]), false);

Implementations

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

pub fn new(boolean_system: &'a T, output: T::TermId) -> Self

Create a boolean function by selecting a single output.

Trait Implementations

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

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

Evaluate the boolean function with the given input values.

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

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.

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

fn num_inputs(&self) -> usize

Get the number of inputs of the boolean function.

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

fn num_outputs(&self) -> usize

Get the number of outputs of the boolean function.

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

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

Evaluate the boolean function with the given input values.

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

type LiteralId = <T as PartialBooleanSystem>::LiteralId

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: &Self::TermId, 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<'a, T, TermId> StaticNumOutputs<1> for OutputSelection<'a, T, TermId>