示例#1
0
 /// <summary>
 /// (Re)validates PDDL problem input data. Corresponding domain data needs to be present for the correct validation.
 /// Throws ValidationException in case of a validation failure.
 /// </summary>
 public void ValidateProblem()
 {
     PDDLInputDataValidator.ValidateProblem(Domain, Problem);
 }
示例#2
0
 /// <summary>
 /// (Re)validates PDDL domain input data. Throws ValidationException in case of a validation failure.
 /// </summary>
 public void ValidateDomain()
 {
     PDDLInputDataValidator.ValidateDomain(Domain);
 }