From 8ab69258bdd3d172a7721a9998bb859926c3ac63 Mon Sep 17 00:00:00 2001 From: Dario Romano Date: Sun, 21 Apr 2024 15:57:43 +0200 Subject: [PATCH] cleaned up imports --- .../at/jku/cps/travart/core/verify/UVLVerifier.java | 10 +--------- 1 file changed, 1 insertion(+), 9 deletions(-) diff --git a/src/main/java/at/jku/cps/travart/core/verify/UVLVerifier.java b/src/main/java/at/jku/cps/travart/core/verify/UVLVerifier.java index 19bdd3d..8635115 100644 --- a/src/main/java/at/jku/cps/travart/core/verify/UVLVerifier.java +++ b/src/main/java/at/jku/cps/travart/core/verify/UVLVerifier.java @@ -15,20 +15,14 @@ *******************************************************************************/ package at.jku.cps.travart.core.verify; -import static at.jku.cps.travart.core.verify.LogicOperator.*; +import static at.jku.cps.travart.core.verify.LogicOperator.NOT; -import java.util.ArrayList; import java.util.Collection; -import java.util.List; import java.util.Objects; import java.util.Set; import java.util.stream.Collectors; -import javax.imageio.plugins.tiff.FaxTIFFTagSet; - import org.apache.logging.log4j.util.Strings; -import org.logicng.explanations.UNSATCore; -import org.logicng.explanations.mus.MUSGeneration; import org.logicng.formulas.CType; import org.logicng.formulas.Formula; import org.logicng.formulas.FormulaFactory; @@ -37,8 +31,6 @@ import org.logicng.io.parsers.FormulaParser; import org.logicng.io.parsers.ParserException; import org.logicng.io.parsers.PropositionalParser; -import org.logicng.propositions.Proposition; -import org.logicng.propositions.StandardProposition; import org.logicng.solvers.MaxSATSolver; import at.jku.cps.travart.core.exception.VerificationException;