public class STNPlanningProblem extends java.lang.Object implements IHTNPlanningProblem
| Constructor and Description |
|---|
STNPlanningProblem(STNPlanningDomain 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 |
|---|---|
boolean |
equals(java.lang.Object obj) |
STNPlanningDomain |
getDomain() |
ai.libs.jaicore.logic.fol.structure.Monom |
getInit() |
ai.libs.jaicore.logic.fol.structure.CNFFormula |
getKnowledge() |
TaskNetwork |
getNetwork() |
int |
hashCode() |
boolean |
isSortNetworkBasedOnNumberPrefixes() |
java.lang.String |
toString() |
public STNPlanningProblem(STNPlanningDomain domain, ai.libs.jaicore.logic.fol.structure.CNFFormula knowledge, ai.libs.jaicore.logic.fol.structure.Monom init, TaskNetwork network)
public STNPlanningDomain getDomain()
getDomain in interface IHTNPlanningProblempublic ai.libs.jaicore.logic.fol.structure.CNFFormula getKnowledge()
getKnowledge in interface IHTNPlanningProblempublic ai.libs.jaicore.logic.fol.structure.Monom getInit()
getInit in interface IHTNPlanningProblempublic TaskNetwork getNetwork()
getNetwork in interface IHTNPlanningProblempublic boolean isSortNetworkBasedOnNumberPrefixes()
public int hashCode()
hashCode in class java.lang.Objectpublic boolean equals(java.lang.Object obj)
equals in class java.lang.Objectpublic java.lang.String toString()
toString in class java.lang.Object