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()