TimerBench Struct Reference

Public interface of class TimerBench. More...

#include <TimerBench.h>

Related Functions
(Note that these are not member functions.)
TimerBench_ptr	TimerBench_create (const char *name)
void	TimerBench_destroy (TimerBench_ptr self)
long	TimerBench_get_laps (const TimerBench_ptr self)
long	TimerBench_get_time (const TimerBench_ptr self)
boolean	TimerBench_is_running (const TimerBench_ptr self)
void	TimerBench_print (const TimerBench_ptr self, FILE *file, const char *msg)
void	TimerBench_reset (TimerBench_ptr self)
void	TimerBench_start (TimerBench_ptr self)
void	TimerBench_stop (TimerBench_ptr self)

---

Detailed Description

Public interface of class TimerBench.

Author:

Roberto Cavada

Todo:

: Missing description

Todo:

Missing synopsis

Todo:

Missing description

---

Friends And Related Function Documentation

TimerBench_ptr TimerBench_create

(

const char *

name

)

[related]

Todo:

void TimerBench_destroy

(

TimerBench_ptr

self

)

[related]

Todo:

long TimerBench_get_laps

(

const TimerBench_ptr

self

)

[related]

Todo:

long TimerBench_get_time

(

const TimerBench_ptr

self

)

[related]

Todo:

boolean TimerBench_is_running

(

const TimerBench_ptr

self

)

[related]

Todo:

void TimerBench_print	(	const TimerBench_ptr	self,
		FILE *	file,
		const char *	msg
	)			[related]

Todo:

void TimerBench_reset

(

TimerBench_ptr

self

)

[related]

Todo:

void TimerBench_start

(

TimerBench_ptr

self

)

[related]

Todo:

void TimerBench_stop

(

TimerBench_ptr

self

)

[related]

Todo:

---

The documentation for this struct was generated from the following file:

• NuSMV/code/nusmv/core/utils/TimerBench.h