Package edu.tufts.hrilab.action.manager

Class Resource

java.lang.Object
edu.tufts.hrilab.action.manager.Resource
public class Resource extends Object

  • Constructor Details

  • 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()

    • toString

      public String toString()
      Overrides:
      toString in class Object