CBMC
wall_clock_timestampert Member List

This is the complete list of members for wall_clock_timestampert, including all inherited members.

clockt enum nametimestampert
make(clockt clock_type)timestampertstatic
stamp() const overridewall_clock_timestampertvirtual
~timestampert()=defaulttimestampertvirtual