Package edu.tufts.hrilab.action.manager

Class Resource

java.lang.Object

edu.tufts.hrilab.action.manager.Resource

public class Resource
extends Object

Constructor Summary

Constructors

Constructor	Description
Resource(AgentTeam provider, Symbol name)

Method Summary

Modifier and Type	Method	Description
boolean	addUser(Goal g)
Goal	getHolder()
Symbol	getName()
Set<Goal>	getUsers()
boolean	isAvailable()
protected void	releaseHolder()
boolean	removeUser(Goal g)
protected void	setHolder(Goal holder)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

Resource

public Resource(AgentTeam provider,
 Symbol name)

Method Details

isAvailable

public boolean isAvailable()

getHolder

public Goal getHolder()

setHolder

protected void setHolder(Goal holder)

releaseHolder

protected void releaseHolder()

getName

public Symbol getName()

addUser

public boolean addUser(Goal g)

removeUser

public boolean removeUser(Goal g)

getUsers

public Set<Goal> getUsers()