Package net.hydromatic.morel.util

Class Unifiers

java.lang.Object

net.hydromatic.morel.util.Unifiers

public abstract class Unifiers
extends Object

Utilities for unification.

See Also:

• Unifier

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
private static class	Unifiers.Dumper	Work space for dump(PrintWriter, Iterable).

Constructor Summary

Constructors

Constructor	Description
Unifiers()

Method Summary

Modifier and Type	Method	Description
static void	dump(PrintWriter pw, Iterable<Unifier.TermTerm> pairs)	Given several pairs of terms, generates a program that will create those pairs of terms.

Methods inherited from class java.lang.Object

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

Constructor Details

Unifiers

public Unifiers()

Method Details

dump

public static void dump(PrintWriter pw,
 Iterable<Unifier.TermTerm> pairs)

Given several pairs of terms, generates a program that will create those pairs of terms.

This is useful if you wish to create a unit test for a Unifier.