Uses of Interface
net.hydromatic.morel.util.Unifier.Term

Packages that use Unifier.Term

Package	Description
net.hydromatic.morel.compile	Validates programs (represented as AstNode), deduces their type, and compiles them into code that can be evaluated.
net.hydromatic.morel.util	Utilities.

Uses of Unifier.Term in net.hydromatic.morel.compile

Fields in net.hydromatic.morel.compile declared as Unifier.Term

Modifier and Type	Field	Description
(package private) final Unifier.Term	TypeResolver.PatTerm.term
private final Unifier.Term	TypeResolver.SimpleTermFactory.term
(package private) final Unifier.Term	TypeResolver.TermVariable.term

Fields in net.hydromatic.morel.compile with type parameters of type Unifier.Term

Modifier and Type	Field	Description
(package private) final UnaryOperator<Unifier.Term>	TypeResolver.PatTerm.accessor
private final Map<AstNode,Unifier.Term>	TypeResolver.map
private final Map<AstNode,Unifier.Term>	TypeMap.nodeTypeTerms
private final Function<TypeSystem,Unifier.Term>	TypeResolver.BindTypeEnv.termFactory

Methods in net.hydromatic.morel.compile that return Unifier.Term

Modifier and Type	Method	Description
Unifier.Term	TypeResolver.SimpleTermFactory.apply(TypeSystem typeSystem)
Unifier.Term	TypeResolver.BindTypeEnv.get(TypeSystem typeSystem, String name, Function<String,RuntimeException> exceptionFactory)
Unifier.Term	TypeResolver.EmptyTypeEnv.get(TypeSystem typeSystem, String name, Function<String,RuntimeException> exceptionFactory)
Unifier.Term	TypeResolver.EnvironmentTypeEnv.get(TypeSystem typeSystem, String name, Function<String,RuntimeException> exceptionFactory)
Unifier.Term	TypeResolver.TypeEnv.get(TypeSystem typeSystem, String name, Function<String,RuntimeException> exceptionFactory)	Returns a term for the variable with a given name, creating if necessary.
private Unifier.Term	TypeResolver.recordTerm(NavigableMap<String,? extends Unifier.Term> labelTypes)
private Unifier.Term	TypeResolver.toTerm(PrimitiveType type)
private Unifier.Term	TypeResolver.toTerm(Type type, TypeResolver.Subst subst)
private Unifier.Term	TypeResolver.tupleTerm(Collection<? extends Unifier.Term> types)

Methods in net.hydromatic.morel.compile that return types with arguments of type Unifier.Term

Modifier and Type	Method	Description
private List<Unifier.Term>	TypeResolver.toTerms(Collection<? extends Type> types, TypeResolver.Subst subst)
private List<Unifier.Term>	TypeResolver.toTerms(List<? extends Type> types, TypeResolver.Subst subst)
private Function<TypeSystem,Unifier.Term>	TypeResolver.TypeEnvHolder.typeToTerm(Type type)

Methods in net.hydromatic.morel.compile with parameters of type Unifier.Term

Modifier and Type	Method	Description
private Unifier.Sequence	TypeResolver.argTerm(Unifier.Term... args)
private Unifier.Sequence	TypeResolver.bagTerm(Unifier.Term term)
default TypeResolver.TypeEnv	TypeResolver.TypeEnv.bind(String name, Binding.Kind kind, Unifier.Term term)
default TypeResolver.TypeEnv	TypeResolver.TypeEnv.bind(String name, Unifier.Term term)
void	TypeResolver.TypeEnvHolder.bind(String name, Unifier.Term term)
private Unifier.Variable	TypeResolver.equiv(Unifier.Variable v, Unifier.Term term)	Declares that a term is equivalent to a variable.
private Unifier.Sequence	TypeResolver.fnTerm(Unifier.Term arg, Unifier.Term result)
default Binding.Kind	TypeResolver.TypeEnv.getKind(String name, Unifier.Term term)
private void	TypeResolver.isListIfBothAreLists(Unifier.Term c0, Unifier.Variable v0, Unifier.Term c1, Unifier.Variable v1, Unifier.Variable c, Unifier.Variable v)	Adds a constraint that c0 is a bag or list (of v0), and c1 is a bag or list (of v1); if both are lists then c is a list of v, otherwise c is a bag of v.
private Unifier.Sequence	TypeResolver.listTerm(Unifier.Term term)
private <E extends AstNode> E	TypeResolver.reg(E node, Unifier.Term term)	Registers that an AST node maps to a type term.
private <E extends AstNode> E	TypeResolver.reg(E node, Unifier.Variable variable, Unifier.Term term)	Registers that an AST node maps to a type term and is equivalent to a variable.
(package private) Type	TypeMap.termToType(Unifier.Term term)
private Unifier.Variable	TypeResolver.toVariable(Unifier.Term term)	Converts a term to a variable.

Method parameters in net.hydromatic.morel.compile with type arguments of type Unifier.Term

Modifier and Type	Method	Description
default TypeResolver.TypeEnv	TypeResolver.TypeEnv.bind(String name, Binding.Kind kind, Function<TypeSystem,Unifier.Term> termFactory)
private static TypeResolver.TypeEnv	TypeResolver.bindAll(TypeResolver.TypeEnv env, PairList<Ast.IdPat,Unifier.Term> termMap)
void	TypeResolver.BindTypeEnv.collectInstances(TypeSystem typeSystem, String name, Consumer<Unifier.Term> consumer)
default void	TypeResolver.TypeEnv.collectInstances(TypeSystem typeSystem, String name, Consumer<Unifier.Term> consumer)	Collects terms that are instance of name.
private void	TypeResolver.constrain(Unifier.Variable arg, Unifier.Variable result, PairList<Unifier.Term,Unifier.Term> argResults)	Registers that a type variable is equivalent to at least one of a list of terms.
private void	TypeResolver.constrain(Unifier.Variable arg, Unifier.Variable result, PairList<Unifier.Term,Unifier.Term> argResults)	Registers that a type variable is equivalent to at least one of a list of terms.
private Ast.Decl	TypeResolver.deduceDataTypeDeclType(TypeResolver.TypeEnv env, Ast.DatatypeDecl datatypeDecl, PairList<Ast.IdPat,Unifier.Term> termMap)
private Ast.Decl	TypeResolver.deduceDeclType(TypeResolver.TypeEnv env, Ast.Decl node, PairList<Ast.IdPat,Unifier.Term> termMap)
private Ast.Match	TypeResolver.deduceMatchType(TypeResolver.TypeEnv env, Ast.Match match, BiConsumer<Ast.IdPat,Unifier.Term> termMap, Unifier.Variable argVariable, Unifier.Variable resultVariable)
private Ast.Decl	TypeResolver.deduceOverDeclType(TypeResolver.TypeEnv env, Ast.OverDecl overDecl, PairList<Ast.IdPat,Unifier.Term> termMap)
private void	TypeResolver.deducePatType(TypeResolver.TypeEnv env, Ast.Pat pat, Consumer<TypeResolver.PatTerm> termMap, @Nullable NavigableSet<String> labelNames, Unifier.Variable v, UnaryOperator<Unifier.Term> accessor)	Derives a type term for a pattern, collecting the names of pattern variables.
private AstNode	TypeResolver.deduceValBindType(TypeResolver.TypeEnv env, Ast.ValBind valBind, PairList<Ast.IdPat,Unifier.Term> termMap, Unifier.Variable vPat)
private Ast.Decl	TypeResolver.deduceValDeclType(TypeResolver.TypeEnv env, Ast.ValDecl valDecl, PairList<Ast.IdPat,Unifier.Term> termMap)
private void	TypeResolver.isListIfAllAreLists(List<Unifier.Term> args, Unifier.Variable c, Unifier.Variable v)	Adds a constraint that the terms in args are all a bag or list (of v); if all are lists then c is a list of v, otherwise c is a bag of v.
private Unifier.Term	TypeResolver.recordTerm(NavigableMap<String,? extends Unifier.Term> labelTypes)
private Unifier.Term	TypeResolver.tupleTerm(Collection<? extends Unifier.Term> types)

Constructors in net.hydromatic.morel.compile with parameters of type Unifier.Term

Modifier	Constructor	Description
private	PatTerm(Ast.IdPat id, Unifier.Term term, UnaryOperator<Unifier.Term> accessor)
(package private)	SimpleTermFactory(Unifier.Term term)
private	TermVariable(Unifier.Term term, Unifier.Variable variable)

Constructor parameters in net.hydromatic.morel.compile with type arguments of type Unifier.Term

Modifier	Constructor	Description
(package private)	BindTypeEnv(String definedName, Binding.Kind kind, Function<TypeSystem,Unifier.Term> termFactory, TypeResolver.TypeEnv parent)
private	PatTerm(Ast.IdPat id, Unifier.Term term, UnaryOperator<Unifier.Term> accessor)
(package private)	TypeMap(TypeSystem typeSystem, Map<AstNode,Unifier.Term> nodeTypeTerms, Unifier.Substitution substitution)

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

Classes in net.hydromatic.morel.util that implement Unifier.Term

Modifier and Type	Class	Description
static final class	Unifier.Sequence	A sequence of terms.
static final class	Unifier.Variable	A variable that represents a symbol or a sequence; unification's task is to find the substitutions for such variables.

Fields in net.hydromatic.morel.util declared as Unifier.Term

Modifier and Type	Field	Description
(package private) Unifier.Term	MartelliUnifier.MutableConstraint.arg
(package private) final Unifier.Term	Unifier.TermTerm.left
(package private) final Unifier.Term	Unifier.TermTerm.right
private final Unifier.Term	Unifier.EquivAction.term1
private final Unifier.Term	Unifier.EquivAction.term2

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

Modifier and Type	Field	Description
private final BiConsumer<Unifier.Variable,Unifier.Term>	Tracers.ConfigurableTracerImpl.cycleHandler
private final BiConsumer<Unifier.Term,Unifier.Term>	Tracers.ConfigurableTracerImpl.deleteHandler
private final BiConsumer<Unifier.Term,Unifier.Term>	Tracers.ConfigurableTracerImpl.deleteHandler
(package private) final Map<Unifier.Variable,Unifier.Term>	MartelliUnifier.Work.result
final Map<Unifier.Variable,Unifier.Term>	Unifier.Substitution.resultMap	The result of the unification algorithm proper.
private final Tracers.QuadConsumer<Unifier.Term,Unifier.Term,Unifier.Term,Unifier.Term>	Tracers.ConfigurableTracerImpl.substituteHandler
private final Tracers.QuadConsumer<Unifier.Term,Unifier.Term,Unifier.Term,Unifier.Term>	Tracers.ConfigurableTracerImpl.substituteHandler
private final Tracers.QuadConsumer<Unifier.Term,Unifier.Term,Unifier.Term,Unifier.Term>	Tracers.ConfigurableTracerImpl.substituteHandler
private final Tracers.QuadConsumer<Unifier.Term,Unifier.Term,Unifier.Term,Unifier.Term>	Tracers.ConfigurableTracerImpl.substituteHandler
private final BiConsumer<Unifier.Term,Unifier.Term>	Tracers.ConfigurableTracerImpl.swapHandler
private final BiConsumer<Unifier.Term,Unifier.Term>	Tracers.ConfigurableTracerImpl.swapHandler
(package private) final PairList<Unifier.Term,Unifier.Constraint.Action>	MartelliUnifier.MutableConstraint.termActions
final PairList<Unifier.Term,Unifier.Constraint.Action>	Unifier.Constraint.termActions
final List<Unifier.Term>	Unifier.Sequence.terms
(package private) final Map<Unifier.Term,String>	Unifiers.Dumper.terms
private final BiConsumer<Unifier.Variable,Unifier.Term>	Tracers.ConfigurableTracerImpl.variableHandler

Methods in net.hydromatic.morel.util that return Unifier.Term

Modifier and Type	Method	Description
Unifier.Term	Unifier.Sequence.apply(Map<Unifier.Variable,Unifier.Term> substitutions)
Unifier.Term	Unifier.Term.apply(Map<Unifier.Variable,Unifier.Term> substitutions)	Applies a substitution to this term.
Unifier.Term	Unifier.Variable.apply(Map<Unifier.Variable,Unifier.Term> substitutions)
Unifier.Term	Unifier.Sequence.apply1(Unifier.Variable variable, Unifier.Term term)
Unifier.Term	Unifier.Term.apply1(Unifier.Variable variable, Unifier.Term term)	Applies a single-variable substitution to this term.
Unifier.Term	Unifier.Variable.apply1(Unifier.Variable variable, Unifier.Term term)
Unifier.Term	Unifier.atom(String name)	Creates an atom, or returns an existing one with the same name.
Unifier.Term	Unifier.atomUnique(String prefix)	Creates an atom with a unique name.
Unifier.Term	Unifier.Substitution.resolve(Unifier.Term term)

Methods in net.hydromatic.morel.util that return types with arguments of type Unifier.Term

Modifier and Type	Method	Description
(package private) static Map<Unifier.Variable,Unifier.Term>	RobinsonUnifier.compose(Map<Unifier.Variable,Unifier.Term> s1, Map<Unifier.Variable,Unifier.Term> s2)	Applies s1 to the elements of s2 and adds them into a single list.

Methods in net.hydromatic.morel.util with parameters of type Unifier.Term

Modifier and Type	Method	Description
void	Unifier.Action.accept(Unifier.Variable variable, Unifier.Term term, Unifier.Substitution substitution, BiConsumer<Unifier.Term,Unifier.Term> termPairs)
void	Unifier.Constraint.Action.accept(Unifier.Term actualArg, Unifier.Term term, BiConsumer<Unifier.Term,Unifier.Term> consumer)
void	Unifier.EquivAction.accept(Unifier.Term actualArg, Unifier.Term actualTerm, BiConsumer<Unifier.Term,Unifier.Term> consumer)
private void	MartelliUnifier.act(Unifier.Variable variable, Unifier.Term term, MartelliUnifier.Work work, Unifier.Substitution substitution, Map<Unifier.Variable,Unifier.Action> termActions, Set<Unifier.Variable> set)
private void	MartelliUnifier.act2(Unifier.Variable variable, Unifier.Term term, MartelliUnifier.Work work, Unifier.Substitution substitution, Map<Unifier.Variable,Unifier.Action> termActions, Set<Unifier.Variable> set)
(package private) void	MartelliUnifier.Work.add(Unifier.Term left, Unifier.Term right)
(package private) void	MartelliUnifier.Work.add2(Unifier.Term left, Unifier.Term right)
Unifier.Sequence	Unifier.apply(String operator, Unifier.Term... args)	Creates a sequence, or returns an existing one with the same terms.
Unifier.Term	Unifier.Sequence.apply1(Unifier.Variable variable, Unifier.Term term)
Unifier.Term	Unifier.Term.apply1(Unifier.Variable variable, Unifier.Term term)	Applies a single-variable substitution to this term.
Unifier.Term	Unifier.Variable.apply1(Unifier.Variable variable, Unifier.Term term)
boolean	Unifier.Sequence.couldUnifyWith(Unifier.Term term)
default boolean	Unifier.Term.couldUnifyWith(Unifier.Term term)	Returns whether this term could possibly unify with another term.
static Unifier.SubstitutionResult	Unifier.SubstitutionResult.create(Unifier.Variable v, Unifier.Term t)	Creates a substitution result with one (variable, term) entry.
static Unifier.Constraint.Action	Unifier.Constraint.equiv(Unifier.Term term1, Unifier.Term term2)	Returns an Unifier.Constraint.Action that marks two terms as equivalent.
(package private) String	Unifiers.Dumper.lookup(Unifier.Term term)	Looks up the variable holding a term, registering it if new.
(package private) static MartelliUnifier.Kind	MartelliUnifier.Kind.of(Unifier.Term left, Unifier.Term right)
void	Tracers.ConfigurableTracerImpl.onCycle(Unifier.Variable variable, Unifier.Term term)
void	Tracers.NullTracer.onCycle(Unifier.Variable variable, Unifier.Term term)
void	Tracers.PrintTracer.onCycle(Unifier.Variable variable, Unifier.Term term)
void	Unifier.Tracer.onCycle(Unifier.Variable variable, Unifier.Term term)
void	Tracers.ConfigurableTracerImpl.onDelete(Unifier.Term left, Unifier.Term right)
void	Tracers.NullTracer.onDelete(Unifier.Term left, Unifier.Term right)
void	Tracers.PrintTracer.onDelete(Unifier.Term left, Unifier.Term right)
void	Unifier.Tracer.onDelete(Unifier.Term left, Unifier.Term right)
void	Tracers.ConfigurableTracerImpl.onSubstitute(Unifier.Term left, Unifier.Term right, Unifier.Term left2, Unifier.Term right2)
void	Tracers.NullTracer.onSubstitute(Unifier.Term left, Unifier.Term right, Unifier.Term left2, Unifier.Term right2)
void	Tracers.PrintTracer.onSubstitute(Unifier.Term left, Unifier.Term right, Unifier.Term left2, Unifier.Term right2)
void	Unifier.Tracer.onSubstitute(Unifier.Term left, Unifier.Term right, Unifier.Term left2, Unifier.Term right2)
void	Tracers.ConfigurableTracerImpl.onSwap(Unifier.Term left, Unifier.Term right)
void	Tracers.NullTracer.onSwap(Unifier.Term left, Unifier.Term right)
void	Tracers.PrintTracer.onSwap(Unifier.Term left, Unifier.Term right)
void	Unifier.Tracer.onSwap(Unifier.Term left, Unifier.Term right)
void	Tracers.ConfigurableTracerImpl.onVariable(Unifier.Variable variable, Unifier.Term term)
void	Tracers.NullTracer.onVariable(Unifier.Variable variable, Unifier.Term term)
void	Tracers.PrintTracer.onVariable(Unifier.Variable variable, Unifier.Term term)
void	Unifier.Tracer.onVariable(Unifier.Variable variable, Unifier.Term term)
private String	Unifiers.Dumper.register(Unifier.Term term)	Registers a term and returns a unique variable name for it.
Unifier.Term	Unifier.Substitution.resolve(Unifier.Term term)
private void	MartelliUnifier.Work.sub(Unifier.Variable variable, Unifier.Term term, ArrayQueue<Unifier.TermTerm> queue, MartelliUnifier.Kind kind)
private @Nullable Unifier.Failure	MartelliUnifier.Work.subConstraint(Unifier.Variable variable, Unifier.Term term)
private @Nullable Unifier.Failure	MartelliUnifier.Work.substituteList(Unifier.Variable variable, Unifier.Term term)	Applies a mapping to all term pairs in a list, modifying them in place.
Unifier.Substitution	Unifier.substitution(Unifier.Term... varTerms)	Creates a substitution.
@NonNull Unifier.Result	RobinsonUnifier.unify(Unifier.Term lhs, Unifier.Term rhs)

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

Modifier and Type	Method	Description
void	Unifier.Action.accept(Unifier.Variable variable, Unifier.Term term, Unifier.Substitution substitution, BiConsumer<Unifier.Term,Unifier.Term> termPairs)
void	Unifier.Action.accept(Unifier.Variable variable, Unifier.Term term, Unifier.Substitution substitution, BiConsumer<Unifier.Term,Unifier.Term> termPairs)
void	Unifier.Constraint.Action.accept(Unifier.Term actualArg, Unifier.Term term, BiConsumer<Unifier.Term,Unifier.Term> consumer)
void	Unifier.Constraint.Action.accept(Unifier.Term actualArg, Unifier.Term term, BiConsumer<Unifier.Term,Unifier.Term> consumer)
void	Unifier.EquivAction.accept(Unifier.Term actualArg, Unifier.Term actualTerm, BiConsumer<Unifier.Term,Unifier.Term> consumer)
void	Unifier.EquivAction.accept(Unifier.Term actualArg, Unifier.Term actualTerm, BiConsumer<Unifier.Term,Unifier.Term> consumer)
Unifier.Sequence	Unifier.apply(String operator, Iterable<? extends Unifier.Term> args)	Creates a sequence, or returns an existing one with the same terms.
Unifier.Term	Unifier.Sequence.apply(Map<Unifier.Variable,Unifier.Term> substitutions)
Unifier.Term	Unifier.Term.apply(Map<Unifier.Variable,Unifier.Term> substitutions)	Applies a substitution to this term.
Unifier.Term	Unifier.Variable.apply(Map<Unifier.Variable,Unifier.Term> substitutions)
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)
(package private) static Map<Unifier.Variable,Unifier.Term>	RobinsonUnifier.compose(Map<Unifier.Variable,Unifier.Term> s1, Map<Unifier.Variable,Unifier.Term> s2)	Applies s1 to the elements of s2 and adds them into a single list.
Unifier.Constraint	Unifier.constraint(Unifier.Variable arg, PairList<Unifier.Term,Unifier.Constraint.Action> termActions)	Creates a Constraint.
Unifier.Constraint	Unifier.constraint(Unifier.Variable arg, Unifier.Variable result, PairList<Unifier.Term,Unifier.Term> argResults)	Creates a constraint arising from a call to an overloaded function.
Unifier.Constraint	Unifier.constraint(Unifier.Variable arg, Unifier.Variable result, PairList<Unifier.Term,Unifier.Term> argResults)	Creates a constraint arising from a call to an overloaded function.
static Unifier.SubstitutionResult	Unifier.SubstitutionResult.create(Map<Unifier.Variable,Unifier.Term> resultMap)	Creates a substitution result from a map.
private boolean	Unifier.Substitution.hasCycles(Map<Unifier.Variable,Unifier.Term> map)
(package private) static Unifier.Sequence	Unifier.sequenceApply(String operator, Map<Unifier.Variable,Unifier.Term> substitutions, Iterable<Unifier.Term> terms)
(package private) static Unifier.Sequence	Unifier.sequenceApply(String operator, Map<Unifier.Variable,Unifier.Term> substitutions, Iterable<Unifier.Term> terms)
Tracers.ConfigurableTracer	Tracers.ConfigurableTracer.withCycleHandler(BiConsumer<Unifier.Variable,Unifier.Term> handler)	Sets handler for Unifier.Tracer.onCycle(Variable, Term).
Tracers.ConfigurableTracer	Tracers.ConfigurableTracerImpl.withCycleHandler(BiConsumer<Unifier.Variable,Unifier.Term> cycleHandler)
Tracers.ConfigurableTracer	Tracers.ConfigurableTracer.withDeleteHandler(BiConsumer<Unifier.Term,Unifier.Term> handler)	Sets handler for Unifier.Tracer.onDelete(Term, Term).
Tracers.ConfigurableTracer	Tracers.ConfigurableTracer.withDeleteHandler(BiConsumer<Unifier.Term,Unifier.Term> handler)	Sets handler for Unifier.Tracer.onDelete(Term, Term).
Tracers.ConfigurableTracer	Tracers.ConfigurableTracerImpl.withDeleteHandler(BiConsumer<Unifier.Term,Unifier.Term> deleteHandler)
Tracers.ConfigurableTracer	Tracers.ConfigurableTracerImpl.withDeleteHandler(BiConsumer<Unifier.Term,Unifier.Term> deleteHandler)
Tracers.ConfigurableTracer	Tracers.ConfigurableTracer.withSubstituteHandler(Tracers.QuadConsumer<Unifier.Term,Unifier.Term,Unifier.Term,Unifier.Term> handler)	Sets handler for Unifier.Tracer.onSubstitute(Term, Term, Term, Term).
Tracers.ConfigurableTracer	Tracers.ConfigurableTracer.withSubstituteHandler(Tracers.QuadConsumer<Unifier.Term,Unifier.Term,Unifier.Term,Unifier.Term> handler)	Sets handler for Unifier.Tracer.onSubstitute(Term, Term, Term, Term).
Tracers.ConfigurableTracer	Tracers.ConfigurableTracer.withSubstituteHandler(Tracers.QuadConsumer<Unifier.Term,Unifier.Term,Unifier.Term,Unifier.Term> handler)	Sets handler for Unifier.Tracer.onSubstitute(Term, Term, Term, Term).
Tracers.ConfigurableTracer	Tracers.ConfigurableTracer.withSubstituteHandler(Tracers.QuadConsumer<Unifier.Term,Unifier.Term,Unifier.Term,Unifier.Term> handler)	Sets handler for Unifier.Tracer.onSubstitute(Term, Term, Term, Term).
Tracers.ConfigurableTracer	Tracers.ConfigurableTracerImpl.withSubstituteHandler(Tracers.QuadConsumer<Unifier.Term,Unifier.Term,Unifier.Term,Unifier.Term> substituteHandler)
Tracers.ConfigurableTracer	Tracers.ConfigurableTracerImpl.withSubstituteHandler(Tracers.QuadConsumer<Unifier.Term,Unifier.Term,Unifier.Term,Unifier.Term> substituteHandler)
Tracers.ConfigurableTracer	Tracers.ConfigurableTracerImpl.withSubstituteHandler(Tracers.QuadConsumer<Unifier.Term,Unifier.Term,Unifier.Term,Unifier.Term> substituteHandler)
Tracers.ConfigurableTracer	Tracers.ConfigurableTracerImpl.withSubstituteHandler(Tracers.QuadConsumer<Unifier.Term,Unifier.Term,Unifier.Term,Unifier.Term> substituteHandler)
Tracers.ConfigurableTracer	Tracers.ConfigurableTracer.withSwapHandler(BiConsumer<Unifier.Term,Unifier.Term> handler)	Sets handler for Unifier.Tracer.onSwap(Term, Term).
Tracers.ConfigurableTracer	Tracers.ConfigurableTracer.withSwapHandler(BiConsumer<Unifier.Term,Unifier.Term> handler)	Sets handler for Unifier.Tracer.onSwap(Term, Term).
Tracers.ConfigurableTracer	Tracers.ConfigurableTracerImpl.withSwapHandler(BiConsumer<Unifier.Term,Unifier.Term> swapHandler)
Tracers.ConfigurableTracer	Tracers.ConfigurableTracerImpl.withSwapHandler(BiConsumer<Unifier.Term,Unifier.Term> swapHandler)
Tracers.ConfigurableTracer	Tracers.ConfigurableTracer.withVariableHandler(BiConsumer<Unifier.Variable,Unifier.Term> handler)	Sets handler for Unifier.Tracer.onVariable(Variable, Term).
Tracers.ConfigurableTracer	Tracers.ConfigurableTracerImpl.withVariableHandler(BiConsumer<Unifier.Variable,Unifier.Term> variableHandler)

Constructors in net.hydromatic.morel.util with parameters of type Unifier.Term

Modifier	Constructor	Description
(package private)	EquivAction(Unifier.Term term1, Unifier.Term term2)
	TermTerm(Unifier.Term left, Unifier.Term right)

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

Modifier	Constructor	Description
private	ConfigurableTracerImpl(BiConsumer<Unifier.Term,Unifier.Term> deleteHandler, BiConsumer<Unifier.Sequence,Unifier.Sequence> conflictHandler, BiConsumer<Unifier.Sequence,Unifier.Sequence> sequenceHandler, BiConsumer<Unifier.Term,Unifier.Term> swapHandler, BiConsumer<Unifier.Variable,Unifier.Term> cycleHandler, BiConsumer<Unifier.Variable,Unifier.Term> variableHandler, Tracers.QuadConsumer<Unifier.Term,Unifier.Term,Unifier.Term,Unifier.Term> substituteHandler)
private	ConfigurableTracerImpl(BiConsumer<Unifier.Term,Unifier.Term> deleteHandler, BiConsumer<Unifier.Sequence,Unifier.Sequence> conflictHandler, BiConsumer<Unifier.Sequence,Unifier.Sequence> sequenceHandler, BiConsumer<Unifier.Term,Unifier.Term> swapHandler, BiConsumer<Unifier.Variable,Unifier.Term> cycleHandler, BiConsumer<Unifier.Variable,Unifier.Term> variableHandler, Tracers.QuadConsumer<Unifier.Term,Unifier.Term,Unifier.Term,Unifier.Term> substituteHandler)
private	ConfigurableTracerImpl(BiConsumer<Unifier.Term,Unifier.Term> deleteHandler, BiConsumer<Unifier.Sequence,Unifier.Sequence> conflictHandler, BiConsumer<Unifier.Sequence,Unifier.Sequence> sequenceHandler, BiConsumer<Unifier.Term,Unifier.Term> swapHandler, BiConsumer<Unifier.Variable,Unifier.Term> cycleHandler, BiConsumer<Unifier.Variable,Unifier.Term> variableHandler, Tracers.QuadConsumer<Unifier.Term,Unifier.Term,Unifier.Term,Unifier.Term> substituteHandler)
private	ConfigurableTracerImpl(BiConsumer<Unifier.Term,Unifier.Term> deleteHandler, BiConsumer<Unifier.Sequence,Unifier.Sequence> conflictHandler, BiConsumer<Unifier.Sequence,Unifier.Sequence> sequenceHandler, BiConsumer<Unifier.Term,Unifier.Term> swapHandler, BiConsumer<Unifier.Variable,Unifier.Term> cycleHandler, BiConsumer<Unifier.Variable,Unifier.Term> variableHandler, Tracers.QuadConsumer<Unifier.Term,Unifier.Term,Unifier.Term,Unifier.Term> substituteHandler)
private	ConfigurableTracerImpl(BiConsumer<Unifier.Term,Unifier.Term> deleteHandler, BiConsumer<Unifier.Sequence,Unifier.Sequence> conflictHandler, BiConsumer<Unifier.Sequence,Unifier.Sequence> sequenceHandler, BiConsumer<Unifier.Term,Unifier.Term> swapHandler, BiConsumer<Unifier.Variable,Unifier.Term> cycleHandler, BiConsumer<Unifier.Variable,Unifier.Term> variableHandler, Tracers.QuadConsumer<Unifier.Term,Unifier.Term,Unifier.Term,Unifier.Term> substituteHandler)
private	ConfigurableTracerImpl(BiConsumer<Unifier.Term,Unifier.Term> deleteHandler, BiConsumer<Unifier.Sequence,Unifier.Sequence> conflictHandler, BiConsumer<Unifier.Sequence,Unifier.Sequence> sequenceHandler, BiConsumer<Unifier.Term,Unifier.Term> swapHandler, BiConsumer<Unifier.Variable,Unifier.Term> cycleHandler, BiConsumer<Unifier.Variable,Unifier.Term> variableHandler, Tracers.QuadConsumer<Unifier.Term,Unifier.Term,Unifier.Term,Unifier.Term> substituteHandler)
(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.
(package private)	Sequence(String operator, List<Unifier.Term> terms)
(package private)	Substitution(Map<Unifier.Variable,Unifier.Term> resultMap)
private	SubstitutionResult(Map<Unifier.Variable,Unifier.Term> resultMap)
(package private)	Work(Unifier.Tracer tracer, List<Unifier.TermTerm> termPairs, List<Unifier.Constraint> constraints, Map<Unifier.Variable,Unifier.Term> result)