Package net.hydromatic.morel.util

Class MartelliUnifier.MutableConstraint

java.lang.Object

net.hydromatic.morel.util.MartelliUnifier.MutableConstraint

Enclosing class:

MartelliUnifier

private static class MartelliUnifier.MutableConstraint
extends Object

As Unifier.Constraint, but mutable.

Field Summary

Fields

Modifier and Type	Field	Description
(package private) Unifier.Term	arg
(package private) Unifier.Variable	result
(package private) final PairList<Unifier.Term,Unifier.Constraint.Action>	termActions
(package private) final Unifier.Variable	v

Constructor Summary

Constructors

Constructor	Description
MutableConstraint(Unifier.Constraint constraint)
MutableConstraint(Unifier.Variable arg, PairList<Unifier.Term,Unifier.Constraint.Action> termActions)	Creates a MutableConstraint.

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

v

final Unifier.Variable v

arg

Unifier.Term arg

result

Unifier.Variable result

termActions

final PairList<Unifier.Term,Unifier.Constraint.Action> termActions

Constructor Details

MutableConstraint

MutableConstraint(Unifier.Variable arg,
 PairList<Unifier.Term,Unifier.Constraint.Action> termActions)

Creates a MutableConstraint.

MutableConstraint

MutableConstraint(Unifier.Constraint constraint)

Method Details

toString

public String toString()

Overrides:

toString in class Object