Struct Substitution 

pub struct Substitution(pub HashMap<LcnfVarId, LcnfArg>);

A mapping from variable IDs to replacement arguments.

Tuple Fields

0: HashMap<LcnfVarId, LcnfArg>

Implementations

impl Substitution

pub fn new() -> Self

pub fn insert(&mut self, var: LcnfVarId, arg: LcnfArg)

pub fn get(&self, var: &LcnfVarId) -> Option<&LcnfArg>

pub fn contains(&self, var: &LcnfVarId) -> bool

pub fn compose(&self, other: &Substitution) -> Substitution

pub fn is_empty(&self) -> bool

Trait Implementations

impl Clone for Substitution

fn clone(&self) -> Substitution

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Substitution

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

Formats the value using the given formatter.

impl Default for Substitution

fn default() -> Substitution

Returns the “default value” for a type.