Removed dead code

This commit is contained in:
Brandon Rozek 2024-03-29 17:33:43 -04:00
parent 7760125ea4
commit 13b3879630
No known key found for this signature in database
GPG key ID: 26E457DA82C9F480

View file

@ -164,23 +164,6 @@ public class Operations {
return Optional.of(ans.get().getRight()); return Optional.of(ans.get().getRight());
} }
public static Value getTime(int time) {
return new Constant("t" + time);
}
public static int getTime(Value time) {
String s = time.getName();
String[] ss = s.split("t");
if (ss.length != 2) {
return -1;
}
try {
int t = Integer.parseInt(ss[1]);
return t + 1;
} catch (NumberFormatException e) {
return -1;
}
}
public static Optional<Set<Pair<State, Action>>> apply(Set<Formula> background, Action action, State state) { public static Optional<Set<Pair<State, Action>>> apply(Set<Formula> background, Action action, State state) {
// // Get resulting states from cache if computed before // // Get resulting states from cache if computed before