Uses of Interface
net.hydromatic.morel.util.Unifier.Constraint.Action

Packages that use Unifier.Constraint.Action

Package	Description
net.hydromatic.morel.util	Utilities.

Uses of Unifier.Constraint.Action in net.hydromatic.morel.util

Classes in net.hydromatic.morel.util that implement Unifier.Constraint.Action

Modifier and Type	Class	Description
private static class	Unifier.EquivAction	An action that, when executed, marks two terms as equivalent.

Fields in net.hydromatic.morel.util with type parameters of type Unifier.Constraint.Action

Modifier and Type	Field	Description
(package private) final PairList<Unifier.Term,Unifier.Constraint.Action>	MartelliUnifier.MutableConstraint.termActions
final PairList<Unifier.Term,Unifier.Constraint.Action>	Unifier.Constraint.termActions

Methods in net.hydromatic.morel.util that return Unifier.Constraint.Action

Modifier and Type	Method	Description
static Unifier.Constraint.Action	Unifier.Constraint.equiv(Unifier.Term term1, Unifier.Term term2)	Returns an Unifier.Constraint.Action that marks two terms as equivalent.

Method parameters in net.hydromatic.morel.util with type arguments of type Unifier.Constraint.Action

Modifier and Type	Method	Description
Unifier.Constraint	Unifier.constraint(Unifier.Variable arg, PairList<Unifier.Term,Unifier.Constraint.Action> termActions)	Creates a Constraint.

Constructor parameters in net.hydromatic.morel.util with type arguments of type Unifier.Constraint.Action

Modifier	Constructor	Description
(package private)	Constraint(Unifier.Variable arg, PairList<Unifier.Term,Unifier.Constraint.Action> termActions)	Creates a Constraint.
(package private)	MutableConstraint(Unifier.Variable arg, PairList<Unifier.Term,Unifier.Constraint.Action> termActions)	Creates a MutableConstraint.