Trait PartialBooleanSystem 

pub trait PartialBooleanSystem: NumInputs + NumOutputs {
    type LiteralId: IdType;
    type TermId: IdType;

    // Required method
    fn evaluate_term_partial(
        &self,
        term: &Self::TermId,
        input_values: &[bool],
    ) -> Option<bool>;
}

Generic ways to access and query a set of partially specified boolean formulas.

Required Associated Types

type LiteralId: IdType

An identifier for an input of the boolean formula.

type TermId: IdType

An identifier of an intermediate value or output.

Required Methods

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.

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl PartialBooleanSystem for SmallTruthTable

type LiteralId = u32

type TermId = ()

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

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

type LiteralId = usize

type TermId = <N as Network>::Signal

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

type LiteralId = <T as PartialBooleanSystem>::LiteralId

type TermId = ()

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

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

type LiteralId = usize

type TermId = usize

impl<F> PartialBooleanSystem for F

where F: Fn(bool, bool) -> bool,

Implement the boolean system for two-input boolean functions.

type LiteralId = usize

type TermId = ()

impl<Node> PartialBooleanSystem for LogicNetwork<Node>

where Node: NetworkNode<NodeId = NodeId>,

type LiteralId = NodeId

type TermId = NodeId

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

type LiteralId = u32

type TermId = ()