1 files changed, 0 insertions, 156 deletions

diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/solver/ReliabilityResult.java b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/solver/ReliabilityResult.java
deleted file mode 100644
index c8c8b000..00000000
--- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/solver/ReliabilityResult.java
+++ /dev/null
@@ -1,156 +0,0 @@
-package hu.bme.mit.inf.dslreasoner.faulttree.transformation.solver;
-
-import org.eclipse.xtend.lib.annotations.Data;
-import org.eclipse.xtend.lib.annotations.FinalFieldsConstructor;
-import org.eclipse.xtext.xbase.lib.Pure;
-import org.eclipse.xtext.xbase.lib.util.ToStringBuilder;
-
-@SuppressWarnings("all")
-public abstract class ReliabilityResult {
-  @Data
-  public static final class Solution extends ReliabilityResult {
-    private final double lowerBound;
-    
-    private final double upperBound;
-    
-    public Solution(final double value) {
-      this(value, value);
-    }
-    
-    public Solution(final double lowerBound, final double upperBound) {
-      if ((lowerBound > upperBound)) {
-        throw new IllegalArgumentException("lowerBound must not be larger than upperBound");
-      }
-      this.lowerBound = lowerBound;
-      this.upperBound = upperBound;
-    }
-    
-    @Override
-    public ReliabilityResult.Solution getOrThrow() {
-      return this;
-    }
-    
-    @Override
-    @Pure
-    public int hashCode() {
-      final int prime = 31;
-      int result = 1;
-      result = prime * result + (int) (Double.doubleToLongBits(this.lowerBound) ^ (Double.doubleToLongBits(this.lowerBound) >>> 32));
-      return prime * result + (int) (Double.doubleToLongBits(this.upperBound) ^ (Double.doubleToLongBits(this.upperBound) >>> 32));
-    }
-    
-    @Override
-    @Pure
-    public boolean equals(final Object obj) {
-      if (this == obj)
-        return true;
-      if (obj == null)
-        return false;
-      if (getClass() != obj.getClass())
-        return false;
-      ReliabilityResult.Solution other = (ReliabilityResult.Solution) obj;
-      if (Double.doubleToLongBits(other.lowerBound) != Double.doubleToLongBits(this.lowerBound))
-        return false; 
-      if (Double.doubleToLongBits(other.upperBound) != Double.doubleToLongBits(this.upperBound))
-        return false; 
-      return true;
-    }
-    
-    @Override
-    @Pure
-    public String toString() {
-      return new ToStringBuilder(this)
-        .addAllFields()
-        .toString();
-    }
-    
-    @Pure
-    public double getLowerBound() {
-      return this.lowerBound;
-    }
-    
-    @Pure
-    public double getUpperBound() {
-      return this.upperBound;
-    }
-  }
-  
-  @Data
-  public static final class Unknown extends ReliabilityResult {
-    private final String message;
-    
-    private final Throwable cause;
-    
-    @FinalFieldsConstructor
-    public Unknown(final String message, final Throwable cause) {
-      super();
-      this.message = message;
-      this.cause = cause;
-    }
-    
-    public Unknown(final String message) {
-      this(message, null);
-    }
-    
-    @Override
-    public ReliabilityResult.Solution getOrThrow() {
-      throw new RuntimeException(this.message, this.cause);
-    }
-    
-    @Override
-    @Pure
-    public int hashCode() {
-      final int prime = 31;
-      int result = 1;
-      result = prime * result + ((this.message== null) ? 0 : this.message.hashCode());
-      return prime * result + ((this.cause== null) ? 0 : this.cause.hashCode());
-    }
-    
-    @Override
-    @Pure
-    public boolean equals(final Object obj) {
-      if (this == obj)
-        return true;
-      if (obj == null)
-        return false;
-      if (getClass() != obj.getClass())
-        return false;
-      ReliabilityResult.Unknown other = (ReliabilityResult.Unknown) obj;
-      if (this.message == null) {
-        if (other.message != null)
-          return false;
-      } else if (!this.message.equals(other.message))
-        return false;
-      if (this.cause == null) {
-        if (other.cause != null)
-          return false;
-      } else if (!this.cause.equals(other.cause))
-        return false;
-      return true;
-    }
-    
-    @Override
-    @Pure
-    public String toString() {
-      return new ToStringBuilder(this)
-        .addAllFields()
-        .toString();
-    }
-    
-    @Pure
-    public String getMessage() {
-      return this.message;
-    }
-    
-    @Pure
-    public Throwable getCause() {
-      return this.cause;
-    }
-  }
-  
-  public static final ReliabilityResult.Unknown TIMEOUT = new ReliabilityResult.Unknown("Solver timed out");
-  
-  public static final ReliabilityResult.Unknown MEMOUT = new ReliabilityResult.Unknown("Solver out of memory");
-  
-  public abstract ReliabilityResult.Solution getOrThrow();
-}