Package net.hydromatic.morel.util

Class Unifier.TermTerm

java.lang.Object

net.hydromatic.morel.util.Unifier.TermTerm

Enclosing class:

Unifier

public static final class Unifier.TermTerm
extends Object

A pair of terms.

Field Summary

Fields

Modifier and Type	Field	Description
(package private) final Unifier.Term	left
(package private) final Unifier.Term	right

Constructor Summary

Constructors

Constructor	Description
TermTerm(Unifier.Term left, Unifier.Term right)

Method Summary

Modifier and Type	Method	Description
String	toString()

Methods inherited from class java.lang.Object

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

Field Details

left

final Unifier.Term left

right

final Unifier.Term right

Constructor Details

TermTerm

public TermTerm(Unifier.Term left,
 Unifier.Term right)

Method Details

toString

public String toString()

Overrides:

toString in class Object