From 6879f352ea49efac3782b16b836b3ea71cbaef27 Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Thu, 18 Apr 2013 09:55:02 +0200
Subject: [PATCH] remove obsolete preferences
---
.../core/DisproverReasonerInput.java | 24 -------------------
1 file changed, 24 deletions(-)
diff --git a/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/DisproverReasonerInput.java b/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/DisproverReasonerInput.java
index 1e6cb6af..67dc3d73 100644
--- a/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/DisproverReasonerInput.java
+++ b/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/DisproverReasonerInput.java
@@ -1,8 +1,6 @@
package de.prob.eventb.disprover.core;
-import org.eventb.core.ast.Predicate;
import org.eventb.core.seqprover.IProofTreeNode;
-import org.eventb.core.seqprover.IProverSequent;
import org.eventb.core.seqprover.IReasonerInput;
import org.eventb.core.seqprover.proofBuilder.ReplayHints;
@@ -18,11 +16,6 @@ public class DisproverReasonerInput implements IReasonerInput {
private final IProofTreeNode node;
- private int maxInt;
- private int minInt;
- private int setSize;
- private int timeout;
-
public DisproverReasonerInput(IProofTreeNode node) {
this.node = node;
}
@@ -47,21 +40,4 @@ public class DisproverReasonerInput implements IReasonerInput {
public IProofTreeNode getProofTreeNode() {
return node;
}
-
- public int getMaxInt() {
- return maxInt;
- }
-
- public int getMinInt() {
- return minInt;
- }
-
- public int getSetSize() {
- return setSize;
- }
-
- public int getTimeout() {
- return timeout;
- }
-
}
--
GitLab