public class ReplacementTrie extends ReplacementTrieNode
Constructor | Description |
---|---|
ReplacementTrie() |
Modifier and Type | Method | 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) |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
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()