Uses of Class
net.hydromatic.morel.util.Unifier.TermTerm

Packages that use Unifier.TermTerm

Package	Description
net.hydromatic.morel.util	Utilities.

Uses of Unifier.TermTerm in net.hydromatic.morel.util

Method parameters in net.hydromatic.morel.util with type arguments of type Unifier.TermTerm

Modifier and Type	Method	Description
void	Unifier.Action.accept(Unifier.Variable variable, Unifier.Term term, Unifier.Substitution substitution, List<Unifier.TermTerm> termPairs)
private void	MartelliUnifier.act(Unifier.Variable variable, Unifier.Term term, List<Unifier.TermTerm> termPairs, Unifier.Substitution substitution, Map<Unifier.Variable,Unifier.Action> termActions, int depth)
private int	MartelliUnifier.findDelete(List<Unifier.TermTerm> termPairs)
private int	MartelliUnifier.findNonVarVar(List<Unifier.TermTerm> termPairs)
private int	MartelliUnifier.findSeqSeq(List<Unifier.TermTerm> termPairs)
private int	MartelliUnifier.findVarAny(List<Unifier.TermTerm> termPairs)
private void	MartelliUnifier.substituteList(List<Unifier.TermTerm> termPairs, Unifier.Tracer tracer, Map<Unifier.Variable,Unifier.Term> map)	Applies a mapping to all term pairs in a list, modifying them in place.
Unifier.Result	MartelliUnifier.unify(List<Unifier.TermTerm> termPairs, Map<Unifier.Variable,Unifier.Action> termActions, Unifier.Tracer tracer)
Unifier.Result	RobinsonUnifier.unify(List<Unifier.TermTerm> termPairs, Map<Unifier.Variable,Unifier.Action> termActions, Unifier.Tracer tracer)
abstract Unifier.Result	Unifier.unify(List<Unifier.TermTerm> termPairs, Map<Unifier.Variable,Unifier.Action> termActions, Unifier.Tracer tracer)