Lines Matching defs:PrintString
73 PrintString("digraph FST {\n");
75 PrintString("rankdir = BT;\n");
77 PrintString("rankdir = LR;\n");
78 PrintString("size = \"");
80 PrintString(",");
82 PrintString("\";\n");
84 PrintString("label = \"" + title_ + "\";\n");
85 PrintString("center = 1;\n");
87 PrintString("orientation = Portrait;\n");
89 PrintString("orientation = Landscape;\n");
90 PrintString("ranksep = \"");
92 PrintString("\";\n");
93 PrintString("nodesep = \"");
95 PrintString("\";\n");
105 PrintString("}\n");
112 void PrintString(const string &s) const {
140 PrintString(nsymbol);
144 PrintString(idstr);
167 PrintString(" [label = \"");
172 PrintString("/");
175 PrintString("\", shape = doublecircle,");
177 PrintString("\", shape = circle,");
180 PrintString(" style = bold,");
182 PrintString(" style = solid,");
183 PrintString(" fontsize = ");
185 PrintString("]\n");
190 PrintString("\t");
192 PrintString(" -> ");
194 PrintString(" [label = \"");
197 PrintString(":");
201 PrintString("/");
204 PrintString("\", fontsize = ");
206 PrintString("];\n");
