Struct fall::Subst [−][src]
pub struct Subst(_);
A substitution.
Methods
impl Subst[src]
impl Substpub fn new() -> Subst[src]
pub fn new() -> SubstCreates a new, empty substitution.
pub fn apply_to_term<'a>(&'a self, term: &'a Term) -> Arc<Term>[src]
pub fn apply_to_term<'a>(&'a self, term: &'a Term) -> Arc<Term>Applies a substitution to a term.
pub fn apply_to_lit(&self, lit: &Lit) -> Lit[src]
pub fn apply_to_lit(&self, lit: &Lit) -> LitApplies a substitution to a lit.
pub fn get(&self, k: usize) -> Option<&Arc<Term>>[src]
pub fn get(&self, k: usize) -> Option<&Arc<Term>>Gets the replacement for the given variable index, if any.
pub fn merge(&self, other: Subst) -> Subst[src]
pub fn merge(&self, other: Subst) -> SubstMerges with another substitution. The substitution on the left should be the "older" one.
pub fn push(&mut self, k: usize, v: Arc<Term>)[src]
pub fn push(&mut self, k: usize, v: Arc<Term>)Adds a binding to the substitution.
Trait Implementations
impl Clone for Subst[src]
impl Clone for Substfn clone(&self) -> Subst[src]
fn clone(&self) -> SubstReturns a copy of the value. Read more
fn clone_from(&mut self, source: &Self)1.0.0[src]
fn clone_from(&mut self, source: &Self)1.0.0
[src]Performs copy-assignment from source. Read more
impl Debug for Subst[src]
impl Debug for Substfn fmt(&self, f: &mut Formatter) -> Result[src]
fn fmt(&self, f: &mut Formatter) -> ResultFormats the value using the given formatter. Read more
impl Default for Subst[src]
impl Default for Subst