Class Derived

java.lang.Object
edu.tufts.hrilab.pddl.Derived

public class Derived extends Object