Type (DIARC)

java.lang.Object

edu.tufts.hrilab.pddl.Type

public class Type extends Object

Defines a PDDL type and it's sub-types and super-types.

Constructor Summary

Constructors

Constructor

Description

Type(String name)
Method Summary

Modifier and Type

Method

Description

void

addSuperTypes(List<Type> superTypes)

String

generate()

String

getCommonSuper(Type query)

String

getName()

String

getSpecific(Type query)

List<Type>

getSubTypes()

List<Type>

getSuperTypes()

boolean

isSuper(Type type)

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details
- Type
  
  public Type(String name)
Method Details
- addSuperTypes
  
  public void addSuperTypes(List<Type> superTypes)
- generate
  
  public String generate()
- getName
  
  public String getName()
- getSuperTypes
  
  public List<Type> getSuperTypes()
- getSubTypes
  
  public List<Type> getSubTypes()
- isSuper
  
  public boolean isSuper(Type type)
- getCommonSuper
  
  public String getCommonSuper(Type query)
- getSpecific
  
  public String getSpecific(Type query)