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(Map<Unifier.Variable,Unifier.Term> substitutions)
void	checkCycle(Map<Unifier.Variable,Unifier.Term> map, Map<Unifier.Variable,Unifier.Variable> active)	Throws CycleException if expanding this term leads to a cycle.
boolean	contains(Unifier.Variable variable)

Method Details

apply

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

contains

boolean contains(Unifier.Variable variable)

checkCycle

void checkCycle(Map<Unifier.Variable,Unifier.Term> map,
 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)