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 {