Class STNPlanningProblem
- java.lang.Object
-
- ai.libs.jaicore.planning.hierarchical.problems.stn.STNPlanningProblem
-
- All Implemented Interfaces:
IHTNPlanningProblem
,java.io.Serializable
- Direct Known Subclasses:
CEOCSTNPlanningProblem
public class STNPlanningProblem extends java.lang.Object implements IHTNPlanningProblem
- See Also:
- Serialized Form
-
-
Constructor Summary
Constructors Constructor Description STNPlanningProblem(STNPlanningDomain domain, ai.libs.jaicore.logic.fol.structure.CNFFormula knowledge, ai.libs.jaicore.logic.fol.structure.Monom init, TaskNetwork network)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method 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()
-
-
-
Constructor Detail
-
STNPlanningProblem
public STNPlanningProblem(STNPlanningDomain domain, ai.libs.jaicore.logic.fol.structure.CNFFormula knowledge, ai.libs.jaicore.logic.fol.structure.Monom init, TaskNetwork network)
-
-
Method Detail
-
getDomain
public STNPlanningDomain getDomain()
- Specified by:
getDomain
in interfaceIHTNPlanningProblem
-
getKnowledge
public ai.libs.jaicore.logic.fol.structure.CNFFormula getKnowledge()
- Specified by:
getKnowledge
in interfaceIHTNPlanningProblem
-
getInit
public ai.libs.jaicore.logic.fol.structure.Monom getInit()
- Specified by:
getInit
in interfaceIHTNPlanningProblem
-
getNetwork
public TaskNetwork getNetwork()
- Specified by:
getNetwork
in interfaceIHTNPlanningProblem
-
isSortNetworkBasedOnNumberPrefixes
public boolean isSortNetworkBasedOnNumberPrefixes()
-
hashCode
public int hashCode()
- Overrides:
hashCode
in classjava.lang.Object
-
equals
public boolean equals(java.lang.Object obj)
- Overrides:
equals
in classjava.lang.Object
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
-