77a78,82
>
> // Deprecated
> static sc_time from_value(sc_dt::uint64);
> static sc_time from_seconds(double);
> static sc_time from_string(const char *str);