1 files changed, 0 insertions, 45 deletions

diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/src/hu/bme/mit/inf/dslreasoner/faulttree/transformation/solver/StormDftConfiguration.xtend b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/src/hu/bme/mit/inf/dslreasoner/faulttree/transformation/solver/StormDftConfiguration.xtend
deleted file mode 100644
index d9059bfc..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/src/hu/bme/mit/inf/dslreasoner/faulttree/transformation/solver/StormDftConfiguration.xtend
+++ /dev/null
@@ -1,45 +0,0 @@
-package hu.bme.mit.inf.dslreasoner.faulttree.transformation.solver
-
-import hu.bme.mit.inf.dslreasoner.logic.model.builder.SolverConfiguration
-
-final class StormDftConfiguration extends SolverConfiguration {
-        public static val DEFAULT_SOLVER_PATH = "storm-dft"
-
-        public double precision = 1e-6
-
-        public boolean bisimulation = true
-
-        public boolean symmetryReduction = true
-
-        public boolean modularization = true
-
-        public boolean dontCarePropagation = true
-
-        public double approximation = 0
-
-        public var approximationHeuristic = ApproximationHeuristic.NONE
-
-        public FtAnalysisObjective objective
-
-        def isApproximationInUse() {
-                approximationHeuristic != ApproximationHeuristic.NONE
-        }
-}
-
-abstract class FtAnalysisObjective {
-        public static val MTTF = new FtAnalysisObjective {
-        }
-
-        private new() {
-        }
-
-        static final class TimeBound extends FtAnalysisObjective {
-                public double timeBound = 0
-        }
-}
-
-enum ApproximationHeuristic {
-        NONE,
-        DEPTH
-// See https://github.com/moves-rwth/storm/issues/35 for additional approximation heuristics.
-}