Lines Matching refs:wif_name

117     const std::string wif_name; // Name of the variable in WIF file
125 : name(name_), wif_name(wif_name_), wif_type(0), bit_width(-1)
143 wif_name.c_str(), name.c_str(), wif_type );
149 std::fprintf( f, "start_trace %s ;\n", wif_name.c_str() );
227 std::fprintf(f, "assign %s \"%s\" ;\n", wif_name.c_str(), buf);
293 std::fprintf(f, "assign %s \"%s\" ;\n", wif_name.c_str(), buf);
335 std::fprintf( f, "assign %s \'1\' ;\n", wif_name.c_str() );
337 std::fprintf( f, "assign %s \'0\' ;\n", wif_name.c_str() );
374 std::fprintf(f, "assign %s \'1\' ;\n", wif_name.c_str());
376 std::fprintf(f, "assign %s \'0\' ;\n", wif_name.c_str());
416 std::fprintf(f, "assign %s \'", wif_name.c_str());
470 std::fprintf(f, "assign %s \"%s\" ;\n", wif_name.c_str(), &buf[0]);
527 std::fprintf(f, "assign %s \"%s\" ;\n", wif_name.c_str(), &buf[0]);
577 std::fprintf(f, "assign %s \"%s\" ;\n", wif_name.c_str(), buf);
628 std::fprintf(f, "assign %s \"%s\" ;\n", wif_name.c_str(), buf);
675 std::fprintf( f, "assign %s %f ; \n", wif_name.c_str(), object.to_double() );
717 std::fprintf( f, "assign %s %f ; \n", wif_name.c_str(), object.to_double() );
779 std::fprintf( f, "assign %s \"%s\" ;\n", wif_name.c_str(), &buf[0]);
848 std::fprintf( f, "assign %s \"%s\" ;\n", wif_name.c_str(), &buf[0]);
917 std::fprintf(f, "assign %s \"%s\" ;\n", wif_name.c_str(), buf);
981 std::fprintf(f, "assign %s \"%s\" ;\n", wif_name.c_str(), buf);
1043 std::fprintf(f, "assign %s \"%s\" ;\n", wif_name.c_str(), buf);
1106 std::fprintf(f, "assign %s \"%s\" ;\n", wif_name.c_str(), buf);
1169 std::fprintf(f, "assign %s \"%s\" ;\n", wif_name.c_str(), buf);
1231 std::fprintf(f, "assign %s \"%s\" ;\n", wif_name.c_str(), buf);
1293 std::fprintf(f, "assign %s \"%s\" ;\n", wif_name.c_str(), buf);
1355 std::fprintf(f, "assign %s \"%s\" ;\n", wif_name.c_str(), buf);
1391 std::fprintf(f,"assign %s %f ; \n", wif_name.c_str(), object);
1426 std::fprintf(f,"assign %s %f ; \n", wif_name.c_str(), object);
1479 wif_name.c_str(), name.c_str(), wif_type);
1481 std::fprintf(f, "start_trace %s ;\n", wif_name.c_str());
1506 std::fprintf( f, "assign %s \"%s\" ;\n", wif_name.c_str(), lit );
1535 wif_name.c_str(),