[Stochastic] Remove fault tree support for now

1 files changed, 0 insertions, 31 deletions

diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/solver/StormDftConfiguration.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/solver/StormDftConfiguration.java
deleted file mode 100644
index e1bb3625..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/solver/StormDftConfiguration.java
+++ /dev/null
@@ -1,31 +0,0 @@
-package hu.bme.mit.inf.dslreasoner.faulttree.transformation.solver;
-
-import com.google.common.base.Objects;
-import hu.bme.mit.inf.dslreasoner.faulttree.transformation.solver.ApproximationHeuristic;
-import hu.bme.mit.inf.dslreasoner.faulttree.transformation.solver.FtAnalysisObjective;
-import hu.bme.mit.inf.dslreasoner.logic.model.builder.SolverConfiguration;
-
-@SuppressWarnings("all")
-public final class StormDftConfiguration extends SolverConfiguration {
-  public static final String 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 ApproximationHeuristic approximationHeuristic = ApproximationHeuristic.NONE;
-  
-  public FtAnalysisObjective objective;
-  
-  public boolean isApproximationInUse() {
-    return (!Objects.equal(this.approximationHeuristic, ApproximationHeuristic.NONE));
-  }
-}