diff options
author | 2014-02-28 04:10:22 -0800 | |
---|---|---|
committer | 2014-02-28 04:10:22 -0800 | |
commit | a222053f7ffd7bc82c9c3871f6a82041c4ef117a (patch) | |
tree | 71c77bc6538cff7c71f4c8e4606e3f7e544d9d30 /java/src/com/android/inputmethod/latin/makedict/DictionaryHeader.java | |
parent | 4f879a85ce5b6a664a8ba310e9a3ebd31d3eb77b (diff) | |
parent | 5128935ac4d7961e3c863270b828e47a79b97235 (diff) | |
download | latinime-a222053f7ffd7bc82c9c3871f6a82041c4ef117a.tar.gz latinime-a222053f7ffd7bc82c9c3871f6a82041c4ef117a.tar.xz latinime-a222053f7ffd7bc82c9c3871f6a82041c4ef117a.zip |
am 5128935a: Add header attributes for evaluation.
* commit '5128935ac4d7961e3c863270b828e47a79b97235':
Add header attributes for evaluation.
Diffstat (limited to 'java/src/com/android/inputmethod/latin/makedict/DictionaryHeader.java')
-rw-r--r-- | java/src/com/android/inputmethod/latin/makedict/DictionaryHeader.java | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/java/src/com/android/inputmethod/latin/makedict/DictionaryHeader.java b/java/src/com/android/inputmethod/latin/makedict/DictionaryHeader.java index ed9c39602..b32eb9195 100644 --- a/java/src/com/android/inputmethod/latin/makedict/DictionaryHeader.java +++ b/java/src/com/android/inputmethod/latin/makedict/DictionaryHeader.java @@ -42,6 +42,10 @@ public final class DictionaryHeader { "FORGETTING_CURVE_OCCURRENCES_TO_LEVEL_UP"; public static final String FORGETTING_CURVE_PROBABILITY_VALUES_TABLE_ID_KEY = "FORGETTING_CURVE_PROBABILITY_VALUES_TABLE_ID"; + public static final String FORGETTING_CURVE_DURATION_TO_LEVEL_DOWN_IN_SECONDS_KEY = + "FORGETTING_CURVE_DURATION_TO_LEVEL_DOWN_IN_SECONDS"; + public static final String MAX_UNIGRAM_COUNT_KEY = "MAX_UNIGRAM_COUNT"; + public static final String MAX_BIGRAM_COUNT_KEY = "MAX_BIGRAM_COUNT"; public static final String ATTRIBUTE_VALUE_TRUE = "1"; public DictionaryHeader(final int headerSize, final DictionaryOptions dictionaryOptions, |