Package ai.libs.jaicore.planning.hierarchical.problems.ceocipstn

Class CEOCIPSTNPlanningProblem

java.lang.Object

ai.libs.jaicore.planning.hierarchical.problems.stn.STNPlanningProblem

ai.libs.jaicore.planning.hierarchical.problems.ceocstn.CEOCSTNPlanningProblem

ai.libs.jaicore.planning.hierarchical.problems.ceocipstn.CEOCIPSTNPlanningProblem

All Implemented Interfaces:

IHTNPlanningProblem, java.io.Serializable

public class CEOCIPSTNPlanningProblem
extends CEOCSTNPlanningProblem

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor	Description
CEOCIPSTNPlanningProblem(CEOCIPSTNPlanningDomain domain, ai.libs.jaicore.logic.fol.structure.CNFFormula knowledge, ai.libs.jaicore.logic.fol.structure.Monom init, TaskNetwork network, java.util.Map<java.lang.String,ai.libs.jaicore.logic.fol.theories.EvaluablePredicate> evaluablePredicates, java.util.Map<java.lang.String,OracleTaskResolver> oracleResolvers)

Method Summary

Modifier and Type	Method	Description
boolean	equals(java.lang.Object obj)
CEOCIPSTNPlanningDomain	getDomain()
java.util.Map<java.lang.String,ai.libs.jaicore.logic.fol.theories.EvaluablePredicate>	getEvaluablePlanningPredicates()
java.util.Map<java.lang.String,OracleTaskResolver>	getOracleResolvers()
int	hashCode()
java.lang.String	toString()

Methods inherited from class ai.libs.jaicore.planning.hierarchical.problems.stn.STNPlanningProblem

getInit, getKnowledge, getNetwork, isSortNetworkBasedOnNumberPrefixes

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

CEOCIPSTNPlanningProblem

public CEOCIPSTNPlanningProblem(CEOCIPSTNPlanningDomain domain,
                                ai.libs.jaicore.logic.fol.structure.CNFFormula knowledge,
                                ai.libs.jaicore.logic.fol.structure.Monom init,
                                TaskNetwork network,
                                java.util.Map<java.lang.String,ai.libs.jaicore.logic.fol.theories.EvaluablePredicate> evaluablePredicates,
                                java.util.Map<java.lang.String,OracleTaskResolver> oracleResolvers)

Method Detail

getDomain

public CEOCIPSTNPlanningDomain getDomain()

Specified by:

getDomain in interface IHTNPlanningProblem

Overrides:

getDomain in class CEOCSTNPlanningProblem

getEvaluablePlanningPredicates

public java.util.Map<java.lang.String,ai.libs.jaicore.logic.fol.theories.EvaluablePredicate> getEvaluablePlanningPredicates()

getOracleResolvers

public java.util.Map<java.lang.String,OracleTaskResolver> getOracleResolvers()

hashCode

public int hashCode()

Overrides:

hashCode in class STNPlanningProblem

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class STNPlanningProblem

toString

public java.lang.String toString()

Overrides:

toString in class STNPlanningProblem