public class CEOCSTNPlanningProblem extends STNPlanningProblem
| Constructor and Description |
|---|
CEOCSTNPlanningProblem(CEOCSTNPlanningDomain domain,
ai.libs.jaicore.logic.fol.structure.CNFFormula knowledge,
ai.libs.jaicore.logic.fol.structure.Monom init,
TaskNetwork network) |
| Modifier and Type | Method and Description |
|---|---|
CEOCSTNPlanningDomain |
getDomain() |
equals, getInit, getKnowledge, getNetwork, hashCode, isSortNetworkBasedOnNumberPrefixes, toStringpublic CEOCSTNPlanningProblem(CEOCSTNPlanningDomain domain, ai.libs.jaicore.logic.fol.structure.CNFFormula knowledge, ai.libs.jaicore.logic.fol.structure.Monom init, TaskNetwork network)
public CEOCSTNPlanningDomain getDomain()
getDomain in interface IHTNPlanningProblemgetDomain in class STNPlanningProblem