mirror of
https://gitlab.kit.edu/uskyk/typicalc.git
synced 2024-11-08 18:30:42 +00:00
add newly created constraints to other end of constraint list in unification
This commit is contained in:
parent
72ed9bdc32
commit
337a88d8f4
@ -52,7 +52,9 @@ public class Unification {
|
||||
substitutions.add(substitution.get());
|
||||
}
|
||||
// add new constraints to the queue
|
||||
constraints.addAll(thisStep.getConstraints());
|
||||
for (Constraint constraint : thisStep.getConstraints()) {
|
||||
constraints.addFirst(constraint);
|
||||
}
|
||||
steps.add(new UnificationStep(new Result<>(new ArrayList<>(substitutions)), new ArrayList<>(constraints)));
|
||||
}
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user