Commit e13e2842 authored by Jonas Bollgrün's avatar Jonas Bollgrün
Browse files

Noticed that implicantIntersection was not called regularly.

parent 3d46482f
Pipeline #7909 failed with stages
in 2 minutes and 49 seconds
......@@ -83,13 +83,16 @@ public final class Backbone {
if (implicant) {
if (solver instanceof Solver)
((Solver) solver).getImplicantIntersection();
return ((Solver) solver).getImplicantIntersection();
return solver.primeImplicant();
return solver.model();
else {
return solver.model();
public IVecInt compute(ISolver solver, int[] implicant,
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment