/** * This is equivalent to "getKeywordIndex" * * @param symbol a symbol in this Alphabet. * @return the index for that symbol. */ public int getSymbolIndex(@NonNull String symbol) { return getKeywordIndex(symbol); }
/** * This is equivalent to "getKeywordIndex" * * @param symbol a symbol in this Alphabet. * @return the index for that symbol. */ public int getSymbolIndex(@NonNull String symbol) { return getKeywordIndex(symbol); }