code.subst
Class VarSubst

java.lang.Object
  code.subst.Subst
      code.subst.VarSubst

public class VarSubst
extends Subst

This class represents a non-identity substitution. It consists of a mapping from a variable to a term followed by another, possibly identity substitution.

Since:

June 17, 2003

Author:

Sergio Antoy

Field Summary

Term	binding
Subst	next The rest of this substitution.
Variable	variable The variable being bound.

Fields inherited from class code.subst.Subst

id

Constructor Summary

VarSubst(Variable variable, Term binding, Subst next)
Construct an instance of a bound variable of an incremental substitution.

Method Summary

<R,T> R	accept(code.subst.visitor.SubstVisitor<R,T> v, T o)
Term	getBinding(Variable variable) Return the binding of a variable.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

variable

public final Variable variable

The variable being bound.

binding

public final Term binding

next

public final Subst next

The rest of this substitution.

Constructor Detail

VarSubst

public VarSubst(Variable variable,
                Term binding,
                Subst next)

Construct an instance of a bound variable of an incremental substitution.

Parameters:

variable - The variable being bound

binding - The binding of the variable

next - The remaining substitution.

Method Detail

getBinding

public Term getBinding(Variable variable)

Description copied from class: Subst

Return the binding of a variable.

Specified by:

getBinding in class Subst

Parameters:

variable - The variable to tell the binding

Returns:

The binding of the argument.

accept

public <R,T> R accept(code.subst.visitor.SubstVisitor<R,T> v,
                      T o)

Specified by:

accept in class Subst