Package edu.tufts.hrilab.pddl

Class Domain

java.lang.Object
edu.tufts.hrilab.pddl.Domain
public class Domain extends Object

  • Constructor Details

    • Domain

      public Domain()

  • Method Details

    • generate

      public String generate(String name)
      Generate a PDDL formatted string for this Domain.
      Parameters:
      name -
      Returns:

    • getRequirements

      public List<String> getRequirements()

    • getTypes

      public List<Type> getTypes()

    • getType

      public Type getType(String typeName)

    • addRequirement

      public void addRequirement(String req)

    • addType

      public void addType(Type type)

    • addAction

      public void addAction(Action action)

    • addEvent

      public void addEvent(Action event)

    • getActions

      public List<Action> getActions()
      Return shallow copy of actions.
      Returns:

    • addPredicate

      public void addPredicate(Predicate predicate)

    • addDerived

      public void addDerived(Derived derived)

    • containsPredicate

      public boolean containsPredicate(Predicate predicate)

    • addConstant

      public void addConstant(Symbol constant)

    • containsConstant

      public boolean containsConstant(Symbol constant)

    • containsConstantNamed

      public boolean containsConstantNamed(String constantName)

    • getConstants

      public List<Symbol> getConstants()

    • getConstant

      public Symbol getConstant(String constantName)

    • addFunction

      public void addFunction(Predicate function)

    • containsFunction

      public boolean containsFunction(Symbol function)

    • getFunctions

      public Map<String,Predicate> getFunctions()