Package net.hydromatic.morel.util

Interface Unifier.Term

All Known Implementing Classes:

Unifier.Sequence, Unifier.Variable

Enclosing class:

Unifier

public static interface Unifier.Term

Term (variable, symbol or node).

Method Summary

Modifier and Type	Method	Description
<R> R	accept(Unifier.TermVisitor<R> visitor)
Unifier.Term	apply(java.util.Map<Unifier.Variable,Unifier.Term> substitutions)
void	checkCycle(java.util.Map<Unifier.Variable,Unifier.Term> map, java.util.Map<Unifier.Variable,Unifier.Variable> active)	Throws CycleException if expanding this term leads to a cycle.
boolean	contains(Unifier.Variable variable)

Method Detail

apply

Unifier.Term apply(java.util.Map<Unifier.Variable,Unifier.Term> substitutions)

contains

boolean contains(Unifier.Variable variable)

checkCycle

void checkCycle(java.util.Map<Unifier.Variable,Unifier.Term> map,
                java.util.Map<Unifier.Variable,Unifier.Variable> active)
         throws Unifier.CycleException

Throws CycleException if expanding this term leads to a cycle.

Throws:

Unifier.CycleException

accept

<R> R accept(Unifier.TermVisitor<R> visitor)