updated task 12 and 13

[ker1415-1.git] / report / src / hs.pl

diff --git a/report/src/hs.pl b/report/src/hs.pl
new file mode 100644 (file)
index 0000000..53f3158
--- /dev/null
+++ b/report/src/hs.pl
@@ -0,0 +1,7 @@
+isHittingSetTree(_, leaf).
+isHittingSetTree(_, node([], [])).
+isHittingSetTree(VisitedLabels, node([CurLabel|Labels], [CurChild|Children])) :-
+       not(member(CurLabel, VisitedLabels)),
+       append(VisitedLabels, [CurChild], UpdatedVisitedLabels),
+       isHSTree(UpdatedVisitedLabels, CurChild),
+       isHSTree(VisitedLabels, node(Labels, Children)).