Struct oxidd_core::util::Subst

pub struct Subst<'a, F> { /* private fields */ }

Substitution mapping variables to replacement functions, created from slices of functions

Implementations

impl<'a, F> Subst<'a, F>

pub fn new(vars: &'a [F], replacements: &'a [F]) -> Self

Create a new substitution to replace the i-th variable of vars by the i-th function in replacement

All variables of vars should be distinct. Furthermore, variables must be handles for the respective decision diagram levels, e.g., the respective Boolean function for B(C)DDs, and a singleton set for ZBDDs.

Panics if vars and replacements have different length

Trait Implementations

impl<F> Clone for Subst<'_, F>

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a, F: Debug> Debug for Subst<'a, F>

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

Formats the value using the given formatter.

impl<'a, F> Substitution for Subst<'a, F>

type Var = &'a F

Variable type

type Replacement = &'a F

Replacement type

fn id(&self) -> u32

Get the ID of this substitution

fn pairs(&self) -> impl ExactSizeIterator<Item = (Self::Var, Self::Replacement)>

Iterate over pairs of variable and replacement

fn map<V, R, F>(&self, f: F) -> MapSubst<'_, Self, F>

where F: Fn((Self::Var, Self::Replacement)) -> (V, R),

Map the substitution, e.g., to use different variable and replacement types

impl<F> Copy for Subst<'_, F>