PartialTruthTable

Trait PartialTruthTable 

Source
pub trait PartialTruthTable: PartialBooleanFunction {
    // Required method
    fn partial_evaluate(&self, input_bits: u64) -> Option<bool>;
}
Expand description

Abstraction for accessing and evaluating a partially defined truth-table.

Required Methods§

Source

fn partial_evaluate(&self, input_bits: u64) -> Option<bool>

Evaluate the boolean function with the given input bits encoded in an integer. The first bit is in the least significant bit. Returns None if the output is not specified for the given input.

Implementors§