Struct Subst 

pub struct Subst<F, VS = Vec<VarNo>, RS = Vec<F>> { /* private fields */ }

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

VS and RS are the storage types, and can, e.g., be Vecs or slices.

Implementations

impl<F, VS: AsRef<[VarNo]>, RS: AsRef<[F]>> Subst<F, VS, RS>

pub fn new(vars: VS, replacements: RS) -> 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, VS: Clone, RS: Clone> Clone for Subst<F, VS, RS>

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<F, VS: Copy, RS: Copy> Copy for Subst<F, VS, RS>

impl<F: Debug, VS: Debug, RS: Debug> Debug for Subst<F, VS, RS>

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

Formats the value using the given formatter.

impl<'a, F, VS: AsRef<[VarNo]>, RS: AsRef<[F]>> Substitution for &'a Subst<F, VS, RS>

type Replacement = &'a F

Replacement type

fn id(&self) -> u32

Get the ID of this substitution

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

Iterate over pairs of variable and replacement

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

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

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