Lines Matching refs:std
31 void check_time( const sc_time& t, sc_time_unit tu, const std::string & str )
35 std::cout << t.to_string() << ", value=" << t.value() << std::endl;
36 std::cout << " ";
38 std::cout << "t.value=" << tp.value();
40 std::cout << "t.double=" << tp.to_double();
41 std::cout << ", t.unit=" << tp.unit_symbol()
42 << std::endl;
71 std::cout << "\nResolution = " << sc_get_time_resolution() << std::endl;