From d6b6ab704d4552db052099fa2a7c9b7e9ff6a297 Mon Sep 17 00:00:00 2001 From: Timotej Lazar Date: Tue, 5 Jan 2016 18:32:38 +0100 Subject: 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. --- prolog/problems/clp_fd/common.py | 2 -- prolog/problems/clp_r/common.py | 2 -- prolog/problems/dcg/common.py | 2 -- prolog/problems/denotational_semantics/common.py | 2 -- prolog/problems/family_relations/common.py | 2 -- prolog/problems/license_plates/common.py | 2 -- prolog/problems/lists/common.py | 2 -- prolog/problems/old_exams/common.py | 2 -- prolog/problems/other/common.py | 2 -- prolog/problems/sets/common.py | 2 -- prolog/problems/sorting/common.py | 2 -- prolog/problems/trees/common.py | 2 -- 12 files changed, 24 deletions(-) (limited to 'prolog/problems') 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'] -- cgit v1.2.1