CBMC
monotonic_timestampert Member List

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

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