Struct biodivine_lib_param_bn::symbolic_async_graph::FunctionTable

pub struct FunctionTable {
    pub arity: u16,
    rows: Vec<BddVariable>,
}

Function table maps one the table of an uninterpreted function to corresponding Bdd variables.

The main functionality of a FunctionTable is that it provides an iterator over pairs of Vec<bool> (function input assignment) and BddVariable (corresponding symbolic variable).

Fields

arity: u16

rows: Vec<BddVariable>

Implementations

impl FunctionTable

pub fn new(
    name: &str,
    arity: u16,
    bdd_builder: &mut BddVariableSetBuilder
) -> FunctionTable

Construct a new FunctionTable, registering each row of the table as BddVariable in the given bdd_builder.

The name is necessary to give some semantic names to the symbolic variables.

Trait Implementations

impl Clone for FunctionTable

fn clone(&self) -> FunctionTable

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for FunctionTable

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'a> IntoIterator for &'a FunctionTable

Converts a FunctionTable into an iterator of Vec<bool> (function table row) and BddVariable (corresponding symbolic variable).

type Item = (Vec<bool>, BddVariable)

The type of the elements being iterated over.

type IntoIter = FunctionTableIterator<'a>

Which kind of iterator are we turning this into?

fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value.