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.

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> PartialBooleanSystem for F

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

Implement the boolean system for two-input boolean functions.

type LiteralId = usize

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<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 = ()