Returns true if the argument is a character in this alphabet. @param c the character @return true if c is a character in this alphabet; false otherwise
(char c)
source not stored for this graph (policy: none)
nothing calls this directly
no outgoing calls
no test coverage detected