diff options
| author | Timotej Lazar <timotej.lazar@araneo.org> | 2015-09-11 10:59:27 +0200 |
|---|---|---|
| committer | Timotej Lazar <timotej.lazar@araneo.org> | 2015-09-11 10:59:27 +0200 |
| commit | e77850d687754750ab9e9f2aa8113eb9d7a73fd6 (patch) | |
| tree | 788fc27dc694aed7daa7ad5d6aa8a9d678462c7f /prolog | |
| parent | 1b64321fda0bbf1f5a678671c1344eb2b87b5c74 (diff) | |
s/hint_defs/hint_type/g
Diffstat (limited to 'prolog')
| -rw-r--r-- | prolog/common.py | 2 | ||||
| -rw-r--r-- | prolog/problems/family_relations/brother_2/common.py | 2 | ||||
| -rw-r--r-- | prolog/problems/family_relations/father_2/common.py | 2 | ||||
| -rw-r--r-- | prolog/problems/family_relations/mother_2/common.py | 2 | ||||
| -rw-r--r-- | prolog/problems/family_relations/sister_2/common.py | 2 |
5 files changed, 5 insertions, 5 deletions
diff --git a/prolog/common.py b/prolog/common.py index afba98f..02c74d0 100644 --- a/prolog/common.py +++ b/prolog/common.py @@ -4,7 +4,7 @@ import operator import prolog.engine from server.hints import Hint, HintSequence -hint_defs = { +hint_type = { 'no_hint': HintSequence('no_hint', 4), 'test_results': Hint('test_results'), 'syntax_error': Hint('syntax_error'), diff --git a/prolog/problems/family_relations/brother_2/common.py b/prolog/problems/family_relations/brother_2/common.py index f2bfa15..4c8a4f3 100644 --- a/prolog/problems/family_relations/brother_2/common.py +++ b/prolog/problems/family_relations/brother_2/common.py @@ -20,7 +20,7 @@ brother(X, Y) :- X \== Y. ''' -hint_defs = { +hint_typs = { 'general_hint': HintSequence('general_hint', 3), 'x_must_be_male': Hint('x_must_be_male'), 'common_parent_needed': Hint('common_parent_needed'), diff --git a/prolog/problems/family_relations/father_2/common.py b/prolog/problems/family_relations/father_2/common.py index 81191d3..ba6a166 100644 --- a/prolog/problems/family_relations/father_2/common.py +++ b/prolog/problems/family_relations/father_2/common.py @@ -18,7 +18,7 @@ father(X, Y) :- male(X). ''' -hint_defs = { +hint_type = { 'general_hint': HintSequence('general_hint', 3), 'or_instead_of_and': Hint('or_instead_of_and'), 'x_must_be_male': Hint('x_must_be_male'), diff --git a/prolog/problems/family_relations/mother_2/common.py b/prolog/problems/family_relations/mother_2/common.py index 09a641a..42ca248 100644 --- a/prolog/problems/family_relations/mother_2/common.py +++ b/prolog/problems/family_relations/mother_2/common.py @@ -18,7 +18,7 @@ mother(X, Y) :- female(X). ''' -hint_defs = { +hint_type = { 'general_hint': HintSequence('general_hint', 3), 'or_instead_of_and': Hint('or_instead_of_and'), 'x_must_be_female': Hint('x_must_be_female'), diff --git a/prolog/problems/family_relations/sister_2/common.py b/prolog/problems/family_relations/sister_2/common.py index 46d54f3..0dfdc64 100644 --- a/prolog/problems/family_relations/sister_2/common.py +++ b/prolog/problems/family_relations/sister_2/common.py @@ -20,7 +20,7 @@ sister(X, Y) :- X \== Y. ''' -hint_defs = { +hint_type = { 'general_hint': HintSequence('general_hint', 3), 'x_must_be_female': Hint('x_must_be_female'), 'common_parent_needed': Hint('common_parent_needed'), |