diff options
| author |   Keisuke Kuroyanagi <ksk@google.com> | 2014-02-26 01:38:45 -0800 |
|---|---|---|
| committer |   Android Git Automerger <android-git-automerger@android.com> | 2014-02-26 01:38:45 -0800 |
| commit | 10b352e01b95edd4be4302bb13d83e02a956e927 (patch) | |
| tree | 47a443a9471b8630e2c5be99cf1f8c8a98c93d3b /java | |
| parent | afe65cfeb88ed9cf2f791e668843e4e3e1b72403 (diff) | |
| parent | 2b27e06733f6fef65c8e02361c416563f29367c6 (diff) | |
| download | latinime-10b352e01b95edd4be4302bb13d83e02a956e927.tar.gz latinime-10b352e01b95edd4be4302bb13d83e02a956e927.tar.xz latinime-10b352e01b95edd4be4302bb13d83e02a956e927.zip | |
am 2b27e067: Merge "Read and write forgetting curve header attributes."
* commit '2b27e06733f6fef65c8e02361c416563f29367c6':
Read and write forgetting curve header attributes.
Diffstat (limited to '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 b99e281da..ed9c39602 100644 --- a/java/src/com/android/inputmethod/latin/makedict/DictionaryHeader.java +++ b/java/src/com/android/inputmethod/latin/makedict/DictionaryHeader.java @@ -38,6 +38,10 @@ public final class DictionaryHeader { public static final String DICTIONARY_DATE_KEY = "date"; public static final String HAS_HISTORICAL_INFO_KEY = "HAS_HISTORICAL_INFO"; public static final String USES_FORGETTING_CURVE_KEY = "USES_FORGETTING_CURVE"; + public static final String FORGETTING_CURVE_OCCURRENCES_TO_LEVEL_UP_KEY = + "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 ATTRIBUTE_VALUE_TRUE = "1"; public DictionaryHeader(final int headerSize, final DictionaryOptions dictionaryOptions, |