From 0d49fb74eadcf933f696420cd182077927680d26 Mon Sep 17 00:00:00 2001 From: Nathanael Sensfelder Date: Wed, 18 Jan 2017 19:09:16 +0100 Subject: Done with 'core', starting to work on 'knowledge'. --- src/core/sequence.h | 20 ++++++++++++++++++-- 1 file changed, 18 insertions(+), 2 deletions(-) (limited to 'src/core/sequence.h') diff --git a/src/core/sequence.h b/src/core/sequence.h index e609b4d..77ecd6c 100644 --- a/src/core/sequence.h +++ b/src/core/sequence.h @@ -1,11 +1,21 @@ #ifndef _ZoO_CORE_SEQUENCE_H_ #define _ZoO_CORE_SEQUENCE_H_ +#include "../core/char_types.h" #include "../core/index_types.h" -#include "../core/knowledge_types.h" +#include "../knowledge/knowledge_types.h" #include "sequence_types.h" +int ZoO_sequence_from_undercase_string +( + const ZoO_char string [const restrict], + const ZoO_index string_length, + struct ZoO_knowledge k [const restrict static 1], + ZoO_index * sequence [const restrict static 1], + ZoO_index sequence_length [const restrict static 1] +); + /* * Creates a sequence containing {initial_word}. The remaining elements of * sequence are added according to what is known to {k} as being possible. @@ -42,7 +52,13 @@ int ZoO_sequence_create_from * ZoO_END_OF_SEQUENCE marks the ending of a sequence, regardless of indicated * sequence length, meaning that [10][ZoO_END_OF_SEQUENCE][9] and * [10][ZoO_END_OF_SEQUENCE][8] are considered equal. Sequences do not have to - * contain ZoO_END_OF_SEQUENCE. + * contain ZoO_END_OF_SEQUENCE. [10][ZoO_END_OF_SEQUENCE] and [10] are + * considered different, [10][ZoO_END_OF_SEQUENCE] + * and [10][ZoO_END_OF_SEQUENCE][ZoO_END_OF_SEQUENCE] are considered equal. + * Same logic is applyied for ZoO_START_OF_SEQUENCE: + * [START_OF_SEQUENCE][10] is not [10], but + * [START_OF_SEQUENCE][START_OF_SEQUENCE][10] and [START_OF_SEQUENCE][10] are + * the same. * Return: * 1 iff {sequence_a} should be considered being more than {sequence_b} * 0 iff {sequence_a} should be considered being equal to {sequence_b} -- cgit v1.2.3-70-g09d2