Package net.hydromatic.morel.util

Utilities.

Interface Summary

Interface	Description
Ord.IntObjObjConsumer<K,V>	Consumer that receives an ordinal, a key, and a value.
Pair.PairWithOrdinalConsumer<K,V>	Represents an operation that accepts two input arguments and an ordinal, and returns no result.
Unifier.Action	Called by the unifier when a Term's type becomes known.
Unifier.Result	Result of attempting unification.
Unifier.Term	Term (variable, symbol or node).
Unifier.TermVisitor<R>	Visitor for terms.

Class Summary

Class	Description
ConsList<E>	List that consists of a head element and an immutable non-empty list.
MapList<E>	Read-only list that generates elements between 0 and size - 1 by applying a function.
MartelliUnifier	Unification algorithm due to Martelli, Montanari (1976) and Paterson, Wegman (1978).
Ord<E>	Pair of an element and an ordinal.
Pair<T1,T2>	Pair of objects.
RobinsonUnifier	Robinson's unification algorithm.
Static	Utilities.
TailList<E>	A dynamic list that reads from a given point in a backing list.
Unifier	Given pairs of terms, finds a substitution to minimize those pairs of terms.
Unifier.Failure	Result indicating that unification was not possible.
Unifier.Sequence	A sequence of terms.
Unifier.Substitution	The results of a successful unification.
Unifier.TermTerm	A pair of terms.
Unifier.Variable	A variable that represents a symbol or a sequence; unification's task is to find the substitutions for such variables.