public class ReplacementTrie extends ReplacementTrieNode
| Constructor and Description |
|---|
ReplacementTrie() |
| Modifier and Type | Method and Description |
|---|---|
ReplacementTrieNode |
get(java.lang.String sInput) |
ReplacementTrieNode |
get(java.lang.String sInput,
int nStart,
int nEnd) |
java.util.Set<java.lang.String> |
getInputStrings() |
void |
put(java.lang.String sInput,
java.lang.String sLaTeXCode,
int nFontencs) |
appendChild, appendSibling, collectStrings, getChildByLetter, getFirstChild, getFontencs, getInputLength, getLaTeXCode, getLetter, getNextSibling, setFontencs, setLaTeXCode, toStringpublic ReplacementTrieNode get(java.lang.String sInput)
public ReplacementTrieNode get(java.lang.String sInput, int nStart, int nEnd)
get in class ReplacementTrieNodepublic void put(java.lang.String sInput,
java.lang.String sLaTeXCode,
int nFontencs)
put in class ReplacementTrieNodepublic java.util.Set<java.lang.String> getInputStrings()