From 7bbf1b16fd0b1c26f558174baadaaa3eb565d27a Mon Sep 17 00:00:00 2001 From: Brandon Rozek Date: Fri, 3 Nov 2023 16:13:36 -0400 Subject: [PATCH] Adjusting notes --- .../org/rairlab/planner/heuristics/DeletePrecondRelax.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/main/java/org/rairlab/planner/heuristics/DeletePrecondRelax.java b/src/main/java/org/rairlab/planner/heuristics/DeletePrecondRelax.java index 3f4fc16..69498a2 100644 --- a/src/main/java/org/rairlab/planner/heuristics/DeletePrecondRelax.java +++ b/src/main/java/org/rairlab/planner/heuristics/DeletePrecondRelax.java @@ -22,8 +22,8 @@ import java.util.Optional; * I think in this case, we keep it as free variables. * (Gotta make sure it's fresh and distinct wrt to the other formulae) * - * Then for the goal condition check we see if the two - * formulas "unify" with each other... + * Then for the goal condition check we see if the the + * state one-side matches with the goal. */ public class DeletePrecondRelax {