From b2da460d5cf89c4288332ce59e428e0fbe03eb5f Mon Sep 17 00:00:00 2001
From: Naveen Sundar Govindarajulu <naveensundarg@gmail.com>
Date: Thu, 19 Jan 2017 17:19:46 -0500
Subject: [PATCH] adding methods to manage the background.

---
 src/main/java/edu/rpi/rair/GoalTracker.java | 29 ++++++++++++++++++---
 1 file changed, 25 insertions(+), 4 deletions(-)

diff --git a/src/main/java/edu/rpi/rair/GoalTracker.java b/src/main/java/edu/rpi/rair/GoalTracker.java
index 67e1eeb..5b2bccd 100644
--- a/src/main/java/edu/rpi/rair/GoalTracker.java
+++ b/src/main/java/edu/rpi/rair/GoalTracker.java
@@ -34,14 +34,35 @@ public class GoalTracker {
     }
 
 
-    public void deleteGoal(Goal goal){
+    public synchronized boolean deleteGoal(Goal goal){
 
-        currentGoals.remove(goal);
+        return currentGoals.remove(goal);
 
     }
 
-   
-    public Optional<Plan> adoptGoal(Goal goal) {
+    public synchronized boolean addToBackground(Formula formula){
+
+        return background.add(formula);
+    }
+
+     public synchronized boolean addAllToBackground(Set<Formula> formulae){
+
+        return background.addAll(formulae);
+    }
+
+    public synchronized boolean deleteFromBackground(Formula formula){
+
+        return background.remove(formula);
+    }
+
+     public synchronized boolean removeAllFromBackground(Set<Formula> formulae){
+
+        return background.removeAll(formulae);
+    }
+
+
+
+    public synchronized Optional<Plan> adoptGoal(Goal goal) {