Package edu.tufts.hrilab.pddl

Class Operators

java.lang.Object

edu.tufts.hrilab.pddl.Operators

public class Operators
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
static final Map<String,String>	DIARC_TO_PDDL
static final Map<String,String>	PDDL_TO_DIARC

Constructor Summary

Constructors

Constructor	Description
Operators()

Method Summary

Methods inherited from class java.lang.Object

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

Field Details

DIARC_TO_PDDL

public static final Map<String,String> DIARC_TO_PDDL

PDDL_TO_DIARC

public static final Map<String,String> PDDL_TO_DIARC

Constructor Details

Operators

public Operators()