Package net.hydromatic.morel.util
Class MartelliUnifier.Work
java.lang.Object
net.hydromatic.morel.util.MartelliUnifier.Work
- Enclosing class:
MartelliUnifier
Workspace for
MartelliUnifier.-
Field Summary
FieldsModifier and TypeFieldDescription(package private) final List<MartelliUnifier.MutableConstraint> (package private) final ArrayQueue<Unifier.TermTerm> (package private) final Map<Unifier.Variable, Unifier.Term> (package private) final ArrayQueue<Unifier.TermTerm> (package private) final Unifier.Tracer(package private) final ArrayQueue<Unifier.TermTerm> -
Constructor Summary
ConstructorsConstructorDescriptionWork(Unifier.Tracer tracer, List<Unifier.TermTerm> termPairs, List<Unifier.Constraint> constraints, Map<Unifier.Variable, Unifier.Term> result) -
Method Summary
Modifier and TypeMethodDescription(package private) voidadd(Unifier.Term left, Unifier.Term right) (package private) voidadd2(Unifier.Term left, Unifier.Term right) (package private) List<Unifier.TermTerm> Returns a list of all term pairs.private voidsub(Unifier.Variable variable, Unifier.Term term, ArrayQueue<Unifier.TermTerm> queue, MartelliUnifier.Kind kind) private @Nullable Unifier.FailuresubConstraint(Unifier.Variable variable, Unifier.Term term) private @Nullable Unifier.FailuresubstituteList(Unifier.Variable variable, Unifier.Term term) Applies a mapping to all term pairs in a list, modifying them in place.toString()
-
Field Details
-
tracer
-
deleteQueue
-
seqSeqQueue
-
varAnyQueue
-
constraintQueue
-
result
-
-
Constructor Details
-
Work
Work(Unifier.Tracer tracer, List<Unifier.TermTerm> termPairs, List<Unifier.Constraint> constraints, Map<Unifier.Variable, Unifier.Term> result)
-
-
Method Details
-
toString
-
add2
-
add
-
allTermPairs
List<Unifier.TermTerm> allTermPairs()Returns a list of all term pairs. -
substituteList
Applies a mapping to all term pairs in a list, modifying them in place. -
sub
private void sub(Unifier.Variable variable, Unifier.Term term, ArrayQueue<Unifier.TermTerm> queue, MartelliUnifier.Kind kind) -
subConstraint
-