rairlab/Spectra
1
0
Fork 0
mirror of https://github.com/RAIRLab/Spectra.git synced 2024-11-21 08:26:30 -05:00
Code Issues Projects Releases Packages Wiki Activity

adding methods to manage the background.

Browse source
This commit is contained in:
Naveen Sundar Govindarajulu 2017-01-19 17:19:46 -05:00
parent 6919c09a4a
commit b2da460d5c
1 changed files with 25 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

29
src/main/java/edu/rpi/rair/GoalTracker.java
View file

@ -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) {