public class PlanningDomain
extends java.lang.Object
| Constructor and Description |
|---|
PlanningDomain(java.util.Collection<Operation> operations) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
equals(java.lang.Object obj) |
java.util.Collection<Operation> |
getOperations() |
int |
hashCode() |
public PlanningDomain(java.util.Collection<Operation> operations)
public java.util.Collection<Operation> getOperations()
public int hashCode()
hashCode in class java.lang.Objectpublic boolean equals(java.lang.Object obj)
equals in class java.lang.Object