1 files changed, 0 insertions, 57 deletions

diff --git a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/objectives/AlwaysSatisfiedRandomHardObjective.java b/subprojects/store-dse/src/main/java/tools/refinery/store/dse/objectives/AlwaysSatisfiedRandomHardObjective.java
deleted file mode 100644
index cdd1754f..00000000
--- a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/objectives/AlwaysSatisfiedRandomHardObjective.java
+++ /dev/null
@@ -1,57 +0,0 @@
-/*******************************************************************************
- * Copyright (c) 2010-2016, Andras Szabolcs Nagy, Zoltan Ujhelyi and Daniel Varro
- * Copyright (c) 2023 The Refinery Authors <https://refinery.tools/>
- * This program and the accompanying materials are made available under the
- * terms of the Eclipse Public License v. 2.0 which is available at
- * http://www.eclipse.org/legal/epl-v20.html.
- *
- * SPDX-License-Identifier: EPL-2.0
- *******************************************************************************/
-package tools.refinery.store.dse.objectives;
-
-import tools.refinery.store.dse.DesignSpaceExplorationAdapter;
-
-import java.util.Random;
-
-/**
- * This hard objective is fulfilled in any circumstances. Use it if all states should be regarded as a valid solution.
- *
- * @author Andras Szabolcs Nagy
- *
- */
-public class AlwaysSatisfiedRandomHardObjective extends BaseObjective {
-
-        private static final String DEFAULT_NAME = "AlwaysSatisfiedDummyHardObjective";
-        @SuppressWarnings("squid:S2245")
-        private static final Random random = new Random(0);
-
-        public AlwaysSatisfiedRandomHardObjective() {
-                super(DEFAULT_NAME);
-        }
-
-        public AlwaysSatisfiedRandomHardObjective(String name) {
-                super(name);
-        }
-
-        @Override
-        public Double getFitness(DesignSpaceExplorationAdapter context) {
-//              return 0d;
-                return random.nextDouble();
-        }
-
-        @Override
-        public boolean isHardObjective() {
-                return true;
-        }
-
-        @Override
-        public boolean satisfiesHardObjective(Double fitness) {
-                return true;
-        }
-
-        @Override
-        public Objective createNew() {
-                return this;
-        }
-
-}