Package edu.tufts.hrilab.pddl

Class Derived

java.lang.Object

edu.tufts.hrilab.pddl.Derived

public class Derived
extends Object

Constructor Summary

Constructors

Constructor	Description
Derived(Predicate head, List<Predicate> body)

Method Summary

Methods inherited from class java.lang.Object

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

Constructor Details

Derived

public Derived(Predicate head,
 List<Predicate> body)