summaryrefslogtreecommitdiff
path: root/prolog/problems
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-01-05 18:32:38 +0100
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2016-01-05 18:32:38 +0100
commitd6b6ab704d4552db052099fa2a7c9b7e9ff6a297 (patch)
tree61e4b6887101e7f53053b90fddc6616e5c5e8036 /prolog/problems
parent7e3c3602f1c1619fc1666bc2a21179530a99f3f1 (diff)
Remove info about reusable solutions from Prolog groups
Required predicates (those that must be loaded when testing the program) are now determined by analyzing the tested program.
Diffstat (limited to 'prolog/problems')
-rw-r--r--prolog/problems/clp_fd/common.py2
-rw-r--r--prolog/problems/clp_r/common.py2
-rw-r--r--prolog/problems/dcg/common.py2
-rw-r--r--prolog/problems/denotational_semantics/common.py2
-rw-r--r--prolog/problems/family_relations/common.py2
-rw-r--r--prolog/problems/license_plates/common.py2
-rw-r--r--prolog/problems/lists/common.py2
-rw-r--r--prolog/problems/old_exams/common.py2
-rw-r--r--prolog/problems/other/common.py2
-rw-r--r--prolog/problems/sets/common.py2
-rw-r--r--prolog/problems/sorting/common.py2
-rw-r--r--prolog/problems/trees/common.py2
12 files changed, 0 insertions, 24 deletions
diff --git a/prolog/problems/clp_fd/common.py b/prolog/problems/clp_fd/common.py
index 845ed8b..3b1f9cf 100644
--- a/prolog/problems/clp_fd/common.py
+++ b/prolog/problems/clp_fd/common.py
@@ -1,4 +1,2 @@
id = 8
number = 7
-
-allowed_groups = ['lists']
diff --git a/prolog/problems/clp_r/common.py b/prolog/problems/clp_r/common.py
index 4136a33..2238250 100644
--- a/prolog/problems/clp_r/common.py
+++ b/prolog/problems/clp_r/common.py
@@ -1,4 +1,2 @@
id = 9
number = 8
-
-allowed_groups = ['lists']
diff --git a/prolog/problems/dcg/common.py b/prolog/problems/dcg/common.py
index 19fc104..4992f2d 100644
--- a/prolog/problems/dcg/common.py
+++ b/prolog/problems/dcg/common.py
@@ -1,4 +1,2 @@
id = 10
number = 9
-
-allowed_groups = ['dcg', 'lists']
diff --git a/prolog/problems/denotational_semantics/common.py b/prolog/problems/denotational_semantics/common.py
index 57be52d..e2c420e 100644
--- a/prolog/problems/denotational_semantics/common.py
+++ b/prolog/problems/denotational_semantics/common.py
@@ -1,4 +1,2 @@
id = 11
number = 10
-
-allowed_groups = ['lists']
diff --git a/prolog/problems/family_relations/common.py b/prolog/problems/family_relations/common.py
index f292faa..5aff819 100644
--- a/prolog/problems/family_relations/common.py
+++ b/prolog/problems/family_relations/common.py
@@ -1,4 +1,2 @@
id = 1
number = 1
-
-allowed_groups = ['family_relations']
diff --git a/prolog/problems/license_plates/common.py b/prolog/problems/license_plates/common.py
index eab76a6..3d15487 100644
--- a/prolog/problems/license_plates/common.py
+++ b/prolog/problems/license_plates/common.py
@@ -1,4 +1,2 @@
id = 7
number = 6
-
-allowed_groups = ['license_plates', 'lists']
diff --git a/prolog/problems/lists/common.py b/prolog/problems/lists/common.py
index e7dd0d7..4788fc4 100644
--- a/prolog/problems/lists/common.py
+++ b/prolog/problems/lists/common.py
@@ -1,4 +1,2 @@
id = 2
number = 2
-
-allowed_groups = ['lists']
diff --git a/prolog/problems/old_exams/common.py b/prolog/problems/old_exams/common.py
index 949859b..56857ba 100644
--- a/prolog/problems/old_exams/common.py
+++ b/prolog/problems/old_exams/common.py
@@ -1,3 +1 @@
id = 12
-
-allowed_groups = ['lists']
diff --git a/prolog/problems/other/common.py b/prolog/problems/other/common.py
index 25978e7..50384ad 100644
--- a/prolog/problems/other/common.py
+++ b/prolog/problems/other/common.py
@@ -1,3 +1 @@
id = 4
-
-allowed_groups = ['lists']
diff --git a/prolog/problems/sets/common.py b/prolog/problems/sets/common.py
index 9318010..104aa9d 100644
--- a/prolog/problems/sets/common.py
+++ b/prolog/problems/sets/common.py
@@ -1,4 +1,2 @@
id = 5
number = 4
-
-allowed_groups = ['sets', 'lists']
diff --git a/prolog/problems/sorting/common.py b/prolog/problems/sorting/common.py
index 1ad1c8c..f006f10 100644
--- a/prolog/problems/sorting/common.py
+++ b/prolog/problems/sorting/common.py
@@ -1,4 +1,2 @@
id = 3
number = 3
-
-allowed_groups = ['sorting', 'lists']
diff --git a/prolog/problems/trees/common.py b/prolog/problems/trees/common.py
index d9ebca1..a519878 100644
--- a/prolog/problems/trees/common.py
+++ b/prolog/problems/trees/common.py
@@ -1,4 +1,2 @@
id = 6
number = 5
-
-allowed_groups = ['lists']