Package net.hydromatic.morel.util

Class Unifier.EquivAction

java.lang.Object

net.hydromatic.morel.util.Unifier.EquivAction

All Implemented Interfaces:

Unifier.Constraint.Action

Enclosing class:

Unifier

private static class Unifier.EquivAction
extends Object
implements Unifier.Constraint.Action

An action that, when executed, marks two terms as equivalent.

Field Summary

Fields

Modifier and Type	Field	Description
private final Unifier.Term	term1
private final Unifier.Term	term2

Constructor Summary

Constructors

Constructor	Description
EquivAction(Unifier.Term term1, Unifier.Term term2)

Method Summary

Modifier and Type	Method	Description
void	accept(Unifier.Term actualArg, Unifier.Term actualTerm, BiConsumer<Unifier.Term,Unifier.Term> consumer)
String	toString()

Methods inherited from class java.lang.Object

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

Field Details

term1

private final Unifier.Term term1

term2

private final Unifier.Term term2

Constructor Details

EquivAction

EquivAction(Unifier.Term term1,
 Unifier.Term term2)

Method Details

toString

public String toString()

Overrides:

toString in class Object

accept

public void accept(Unifier.Term actualArg,
 Unifier.Term actualTerm,
 BiConsumer<Unifier.Term,Unifier.Term> consumer)

Specified by:

accept in interface Unifier.Constraint.Action