Uses of Class
net.hydromatic.morel.util.Unifier.CycleException
Packages that use Unifier.CycleException
-
Uses of Unifier.CycleException in net.hydromatic.morel.util
Methods in net.hydromatic.morel.util that throw Unifier.CycleExceptionModifier and TypeMethodDescriptionvoidUnifier.Sequence.checkCycle(Map<Unifier.Variable, Unifier.Term> map, Map<Unifier.Variable, Unifier.Variable> active) voidUnifier.Term.checkCycle(Map<Unifier.Variable, Unifier.Term> map, Map<Unifier.Variable, Unifier.Variable> active) Throws CycleException if expanding this term leads to a cycle.voidUnifier.Variable.checkCycle(Map<Unifier.Variable, Unifier.Term> map, Map<Unifier.Variable, Unifier.Variable> active) private static voidUnifier.checkCycles(Map<Unifier.Variable, Unifier.Term> map, Map<Unifier.Variable, Unifier.Variable> active)