Struct Subst

pub struct Subst<F, S = Vec<F>> { /* private fields */ }

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

S is the storage type, and can, e.g., be Vec<F> or &[F].

Implementations

impl<F, S: AsRef<[F]>> Subst<F, S>

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

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<F: Debug, S: Debug> Debug for Subst<F, S>

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

Formats the value using the given formatter.

impl<'a, F, S: AsRef<[F]>> Substitution for &'a Subst<F, S>

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, S: Copy> Copy for Subst<F, S>