diff options
author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-01-05 18:32:38 +0100 |
---|---|---|
committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-01-05 18:32:38 +0100 |
commit | d6b6ab704d4552db052099fa2a7c9b7e9ff6a297 (patch) | |
tree | 61e4b6887101e7f53053b90fddc6616e5c5e8036 /prolog | |
parent | 7e3c3602f1c1619fc1666bc2a21179530a99f3f1 (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')
-rw-r--r-- | prolog/problems/clp_fd/common.py | 2 | ||||
-rw-r--r-- | prolog/problems/clp_r/common.py | 2 | ||||
-rw-r--r-- | prolog/problems/dcg/common.py | 2 | ||||
-rw-r--r-- | prolog/problems/denotational_semantics/common.py | 2 | ||||
-rw-r--r-- | prolog/problems/family_relations/common.py | 2 | ||||
-rw-r--r-- | prolog/problems/license_plates/common.py | 2 | ||||
-rw-r--r-- | prolog/problems/lists/common.py | 2 | ||||
-rw-r--r-- | prolog/problems/old_exams/common.py | 2 | ||||
-rw-r--r-- | prolog/problems/other/common.py | 2 | ||||
-rw-r--r-- | prolog/problems/sets/common.py | 2 | ||||
-rw-r--r-- | prolog/problems/sorting/common.py | 2 | ||||
-rw-r--r-- | prolog/problems/trees/common.py | 2 |
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'] |