Lines Matching defs:String
56 typedef basic_string<Label> String;
61 Element(StateId s, const String *i, const String *o)
65 const String *istring; // Residual input labels
66 const String *ostring; // Residual output labels
85 vector<const String*> strings;
99 const String *empty = FindString(new String());
142 // Returns the first character of the string obtained by
144 Label Car(const String *s, Label l = 0) const {
151 // Computes the residual string obtained by removing the first
153 const String *Cdr(const String *s, Label l = 0) {
154 String *r = new String();
162 const String *Concat(const String *s, Label l = 0) {
163 String *r = new String();
171 bool Empty(const String *s, Label l = 0) const {
178 // Finds the string pointed by s in the hash set. Transfers the
180 const String *FindString(const String *s) {
217 const String *istring = Cdr(e.istring, arc.ilabel);
218 const String *ostring = Cdr(e.ostring, arc.olabel);
223 const String *istring = Concat(e.istring, arc.ilabel);
224 const String *ostring = Concat(e.ostring, arc.olabel);
233 const String *istring = Cdr(e.istring);
234 const String *ostring = Cdr(e.ostring);
270 bool operator()(const String * const &x, const String * const &y) const {
281 size_t operator()(const String * const & x) const {
291 typedef hash_set<const String*, StringKey, StringEqual> StringSet;
367 virtual const string& Type() const { return impl_->Type(); }
