Uses of Interface
dpvis.datastructures.Substitution

Packages that use Substitution

dpvis.datastructures
dpvis.datastructures.impl

Uses of Substitution in dpvis.datastructures

Methods in dpvis.datastructures that return Substitution

static Substitution

UtilityFunctions.unify(Term t1, Term t2) Tries to unify two terms.

Methods in dpvis.datastructures that return types with arguments of type Substitution

java.util.Set<Pair<Term,Substitution>>

Term.narrow(RewriteSystem trs, int variablePrefixCounter, boolean root, Strategy strat) Computes all (context-sensitive) narrowings of this term and its subterms (or only of the subterms if the root parameter is false) according to the given Rewrite System. the given strategy is used set the forbidden flags of resulting terms.

Methods in dpvis.datastructures with parameters of type Substitution

void	Term.instantiate(Substitution subst) Instantiates the term with the given substitution.
void	Substitution.merge(Substitution newSubst) Merges a given substitution with this substitution if they are compatible.

Uses of Substitution in dpvis.datastructures.impl

Methods in dpvis.datastructures.impl that return Substitution

static Substitution

DSFactory.createSubstitution() Constructs a new empty Substitution.

Methods in dpvis.datastructures.impl that return types with arguments of type Substitution

java.util.Set<Pair<Term,Substitution>>

TermImpl.narrow(RewriteSystem trs, int variablePrefixCounter, boolean root, Strategy strat)

Methods in dpvis.datastructures.impl with parameters of type Substitution

void	TermImpl.instantiate(Substitution subst)