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, toString
public ReplacementTrieNode get(java.lang.String sInput)
public ReplacementTrieNode get(java.lang.String sInput, int nStart, int nEnd)
get
in class ReplacementTrieNode
public void put(java.lang.String sInput, java.lang.String sLaTeXCode, int nFontencs)
put
in class ReplacementTrieNode
public java.util.Set<java.lang.String> getInputStrings()