class TUPLE_STRING_POOL
Summary
Overview
creation features
exported features
Interface:
Initialization:
has_empty: BOOLEAN
writable attribute
The headers list has an empty string
has (a_string: STRING): BOOLEAN
effective function
has_substring (a_string: STRING, first: INTEGER_32, last: INTEGER_32): BOOLEAN
effective function
index_of (a_string: STRING): INTEGER_32
effective function
index_of_substring (a_string: STRING, first: INTEGER_32, last: INTEGER_32): INTEGER_32
effective function
from_collection (a_headers: COLLECTION[STRING])
effective procedure
Initializes the automaton.