Uses of Interface
net.hydromatic.morel.util.Unifier.Constraint.Action
Packages that use Unifier.Constraint.Action
-
Uses of Unifier.Constraint.Action in net.hydromatic.morel.util
Classes in net.hydromatic.morel.util that implement Unifier.Constraint.ActionModifier and TypeClassDescriptionprivate static classAn action that, when executed, marks two terms as equivalent.Fields in net.hydromatic.morel.util with type parameters of type Unifier.Constraint.ActionModifier and TypeFieldDescription(package private) final PairList<Unifier.Term, Unifier.Constraint.Action> MartelliUnifier.MutableConstraint.termActionsUnifier.Constraint.termActionsMethods in net.hydromatic.morel.util that return Unifier.Constraint.ActionModifier and TypeMethodDescriptionstatic Unifier.Constraint.ActionUnifier.Constraint.equiv(Unifier.Term term1, Unifier.Term term2) Returns anUnifier.Constraint.Actionthat marks two terms as equivalent.Method parameters in net.hydromatic.morel.util with type arguments of type Unifier.Constraint.ActionModifier and TypeMethodDescriptionUnifier.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.ActionModifierConstructorDescription(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.