Lines Matching defs:String
31 #include <string>
69 typedef basic_string<Label> String;
74 Element(StateId s, const String *i, const String *o)
78 const String *istring; // Residual input labels
79 const String *ostring; // Residual output labels
107 vector<const String*> strings;
121 const String *empty = FindString(new String());
173 // Returns the first character of the string obtained by
175 Label Car(const String *s, Label l = 0) const {
182 // Computes the residual string obtained by removing the first
184 const String *Cdr(const String *s, Label l = 0) {
185 String *r = new String();
193 const String *Concat(const String *s, Label l = 0) {
194 String *r = new String();
202 bool Empty(const String *s, Label l = 0) const {
209 // Finds the string pointed by s in the hash set. Transfers the
211 const String *FindString(const String *s) {
248 const String *istring = Cdr(e.istring, arc.ilabel);
249 const String *ostring = Cdr(e.ostring, arc.olabel);
254 const String *istring = Concat(e.istring, arc.ilabel);
255 const String *ostring = Concat(e.ostring, arc.olabel);
264 const String *istring = Cdr(e.istring);
265 const String *ostring = Cdr(e.ostring);
301 bool operator()(const String * const &x, const String * const &y) const {
312 size_t operator()(const String * const & x) const {
322 typedef unordered_set<const String*, StringKey, StringEqual> StringSet;
