Uses of Class
net.hydromatic.morel.util.Unifier.CycleException

Packages that use Unifier.CycleException

Package	Description
net.hydromatic.morel.util	Utilities.

Uses of Unifier.CycleException in net.hydromatic.morel.util

Methods in net.hydromatic.morel.util that throw Unifier.CycleException

Modifier and Type	Method	Description
void	Unifier.Sequence.checkCycle(Map<Unifier.Variable,Unifier.Term> map, Map<Unifier.Variable,Unifier.Variable> active)
void	Unifier.Term.checkCycle(Map<Unifier.Variable,Unifier.Term> map, Map<Unifier.Variable,Unifier.Variable> active)	Throws CycleException if expanding this term leads to a cycle.
void	Unifier.Variable.checkCycle(Map<Unifier.Variable,Unifier.Term> map, Map<Unifier.Variable,Unifier.Variable> active)
private static void	Unifier.checkCycles(Map<Unifier.Variable,Unifier.Term> map, Map<Unifier.Variable,Unifier.Variable> active)