public class CEOCSTNPlanningDomain extends STNPlanningDomain
| Constructor and Description |
|---|
CEOCSTNPlanningDomain(java.util.Collection<? extends CEOCOperation> operations,
java.util.Collection<? extends OCMethod> methods) |
| Modifier and Type | Method and Description |
|---|---|
void |
checkValidity() |
java.util.Collection<? extends OCMethod> |
getMethods() |
java.util.Collection<? extends CEOCOperation> |
getOperations() |
equals, hashCode, toStringpublic CEOCSTNPlanningDomain(java.util.Collection<? extends CEOCOperation> operations, java.util.Collection<? extends OCMethod> methods)
public void checkValidity()
checkValidity in class STNPlanningDomainpublic java.util.Collection<? extends CEOCOperation> getOperations()
getOperations in class STNPlanningDomainpublic java.util.Collection<? extends OCMethod> getMethods()
getMethods in class STNPlanningDomain