Skip to content
Snippets Groups Projects
Commit 6879f352 authored by Sebastian Krings's avatar Sebastian Krings
Browse files

remove obsolete preferences

parent 1c5707c6
Branches
Tags
No related merge requests found
package de.prob.eventb.disprover.core; package de.prob.eventb.disprover.core;
import org.eventb.core.ast.Predicate;
import org.eventb.core.seqprover.IProofTreeNode; import org.eventb.core.seqprover.IProofTreeNode;
import org.eventb.core.seqprover.IProverSequent;
import org.eventb.core.seqprover.IReasonerInput; import org.eventb.core.seqprover.IReasonerInput;
import org.eventb.core.seqprover.proofBuilder.ReplayHints; import org.eventb.core.seqprover.proofBuilder.ReplayHints;
...@@ -18,11 +16,6 @@ public class DisproverReasonerInput implements IReasonerInput { ...@@ -18,11 +16,6 @@ public class DisproverReasonerInput implements IReasonerInput {
private final IProofTreeNode node; private final IProofTreeNode node;
private int maxInt;
private int minInt;
private int setSize;
private int timeout;
public DisproverReasonerInput(IProofTreeNode node) { public DisproverReasonerInput(IProofTreeNode node) {
this.node = node; this.node = node;
} }
...@@ -47,21 +40,4 @@ public class DisproverReasonerInput implements IReasonerInput { ...@@ -47,21 +40,4 @@ public class DisproverReasonerInput implements IReasonerInput {
public IProofTreeNode getProofTreeNode() { public IProofTreeNode getProofTreeNode() {
return node; return node;
} }
public int getMaxInt() {
return maxInt;
}
public int getMinInt() {
return minInt;
}
public int getSetSize() {
return setSize;
}
public int getTimeout() {
return timeout;
}
} }
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment