CBMC
timestampert Member List

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

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