refactor: import FixTrueFalse.Formula in Configure

Author: pmbittner

src/main/java/org/variantsync/diffdetective/variation/tree/view/relevance/Configure.java

@@ -4,6 +4,7 @@
 import org.prop4j.NodeWriter;
 import org.variantsync.diffdetective.analysis.logic.SAT;
 import org.variantsync.diffdetective.util.fide.FixTrueFalse;
+import org.variantsync.diffdetective.util.fide.FixTrueFalse.Formula;
 import org.variantsync.diffdetective.variation.tree.VariationNode;
 
 import java.util.function.Consumer;
@@ -13,14 +14,14 @@
  * This relevance predicate is the implementation of Equation 5 in our SPLC'23 paper.
  */
 public class Configure implements Relevance {
-    private final FixTrueFalse.Formula configuration;
+    private final Formula configuration;
 
     /**
      * Same as {@link Configure#Configure(Node)} but with a formula that is witnessed to
      * not contain true or false constants not at the root.
      * Workaround for FeatureIDE bug <a href="https://github.com/FeatureIDE/FeatureIDE/issues/1333">FeatureIDE Issue 1333</a>.
      */
-    public Configure(final FixTrueFalse.Formula configuration) {
+    public Configure(final Formula configuration) {
         this.configuration = configuration;
     }