All Downloads are FREE. Search and download functionalities are using the official Maven repository.

ai.libs.jaicore.planning.hierarchical.problems.htn.IHTNPlanningProblem Maven / Gradle / Ivy

package ai.libs.jaicore.planning.hierarchical.problems.htn;

import java.io.Serializable;

import ai.libs.jaicore.logic.fol.structure.CNFFormula;
import ai.libs.jaicore.logic.fol.structure.Monom;
import ai.libs.jaicore.planning.hierarchical.problems.stn.STNPlanningDomain;
import ai.libs.jaicore.planning.hierarchical.problems.stn.TaskNetwork;

public interface IHTNPlanningProblem extends Serializable {

	public STNPlanningDomain getDomain();

	public CNFFormula getKnowledge();

	public Monom getInit();

	public TaskNetwork getNetwork();
}




© 2015 - 2024 Weber Informatics LLC | Privacy Policy