From 13b387963099c8b347d54cb152b8dd7557dbfd75 Mon Sep 17 00:00:00 2001
From: Brandon Rozek <brozek@brandonrozek.com>
Date: Fri, 29 Mar 2024 17:33:43 -0400
Subject: [PATCH] Removed dead code

---
 .../java/org/rairlab/planner/Operations.java    | 17 -----------------
 1 file changed, 17 deletions(-)

diff --git a/src/main/java/org/rairlab/planner/Operations.java b/src/main/java/org/rairlab/planner/Operations.java
index 183a7f3..c3999ed 100644
--- a/src/main/java/org/rairlab/planner/Operations.java
+++ b/src/main/java/org/rairlab/planner/Operations.java
@@ -164,23 +164,6 @@ public class Operations {
         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) {
 
         // // Get resulting states from cache if computed before