/// <summary>
/// Validates the given PDDL input data. Throws ValidationException in case of a validation failure.
/// </summary>
/// <param name="inputData">PDDL input data.</param>
public static void ValidateInputData(PDDLInputData inputData)
{
ValidateVisitor validator = new ValidateVisitor();
validator.CheckDomain(inputData.Domain);
validator.CheckProblem(inputData.Domain, inputData.Problem);
}
/// <summary>
/// Loads a PDDL input data from the given input files. Does not include an input data validation.
/// </summary>
/// <param name="domainFilePath">PDDL domain input file.</param>
/// <param name="problemFilePath">PDDL problem input file.</param>
/// <returns>Instance of master PDDL input data structure.</returns>
public static PDDLInputData LoadInputData(string domainFilePath, string problemFilePath)
{
PDDLInputData inputData = new PDDLInputData();
inputData.Domain = LoadDomain(domainFilePath);
inputData.Problem = LoadProblem(inputData.Domain, problemFilePath);
return(inputData);
}
