---

Reporter Class Reference

Inheritance diagram for Reporter:[legend]Collaboration diagram for Reporter:[legend]List of all members.

Public Methods
	Reporter ()
Thread	getThread ()
void	run ()
void	start ()
void	stop ()
Private Attributes
Thread	thread
boolean	running

---

Detailed Description

This class defines the reporter for the non distributed model checker. A reporter is a thread that periodically prints information about the status of the verification. This class implements the iReporter interface for a non-distributed search.

Definition at line 11 of file Reporter.java.

---

Constructor & Destructor Documentation

Reporter::Reporter (    )  [inline]

Inizialize the Reporter. Definition at line 25 of file Reporter.java.

---

Member Function Documentation

void Reporter::run (    )  [inline]

Periodically prints a report line. Definition at line 35 of file Reporter.java.

void Reporter::start (    )  [inline]

Starts the reporter. Reimplemented from iReporter. Definition at line 56 of file Reporter.java.

void Reporter::stop (    )  [inline]

Stops the reporter. Reimplemented from iReporter. Definition at line 63 of file Reporter.java.

---

Member Data Documentation

boolean Reporter::running [private]

It is set to true when the reporter is running. Definition at line 20 of file Reporter.java.

Thread Reporter::thread [private]

The Thread that periodically reports information about the search. Definition at line 15 of file Reporter.java.

---

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

• Reporter.java

---