AI 24/25 Project Software
Documentation for the AI 24/25 course programming project software
Loading...
Searching...
No Matches
validation.h
1#ifndef PDBS_VALIDATION_H
2#define PDBS_VALIDATION_H
3
4#include "downward/pdbs/types.h"
5
6class TaskProxy;
7
8namespace utils {
9class LogProxy;
10}
11
12namespace pdbs {
13extern void validate_and_normalize_pattern(
14 const TaskProxy& task_proxy,
15 Pattern& pattern,
16 utils::LogProxy& log);
17extern void validate_and_normalize_patterns(
18 const TaskProxy& task_proxy,
19 PatternCollection& patterns,
20 utils::LogProxy& log);
21} // namespace pdbs
22
23#endif