Package net.hydromatic.morel.compile

Class TypeResolver.TermVariable

java.lang.Object

net.hydromatic.morel.compile.TypeResolver.TermVariable

Enclosing class:

TypeResolver

private static class TypeResolver.TermVariable
extends Object

Pair consisting of a term and a variable.

Field Summary

Fields

Modifier and Type	Field	Description
(package private) final Unifier.Term	term
(package private) final Unifier.Variable	variable

Constructor Summary

Constructors

Modifier	Constructor	Description
private	TermVariable(Unifier.Term term, Unifier.Variable variable)

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

term

final Unifier.Term term

variable

final Unifier.Variable variable

Constructor Details

TermVariable

private TermVariable(Unifier.Term term,
 Unifier.Variable variable)

Method Details

toString

public String toString()

Overrides:

toString in class Object