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, java.util.List<Unifier.TermTerm> termPairs)
private void	MartelliUnifier.act(Unifier.Variable variable, Unifier.Term term, java.util.List<Unifier.TermTerm> termPairs, java.util.Map<Unifier.Variable,Unifier.Action> termActions, int depth)
private int	MartelliUnifier.findDelete(java.util.List<Unifier.TermTerm> termPairs)
private int	MartelliUnifier.findNonVarVar(java.util.List<Unifier.TermTerm> termPairs)
private int	MartelliUnifier.findSeqSeq(java.util.List<Unifier.TermTerm> termPairs)
private int	MartelliUnifier.findVarAny(java.util.List<Unifier.TermTerm> termPairs)
Unifier.Result	MartelliUnifier.unify(java.util.List<Unifier.TermTerm> termPairs, java.util.Map<Unifier.Variable,Unifier.Action> termActions)
Unifier.Result	RobinsonUnifier.unify(java.util.List<Unifier.TermTerm> termPairs, java.util.Map<Unifier.Variable,Unifier.Action> termActions)
abstract Unifier.Result	Unifier.unify(java.util.List<Unifier.TermTerm> termPairs, java.util.Map<Unifier.Variable,Unifier.Action> termActions)