spot::parallel_policy Class Reference

This class is used to tell parallel algorithms what resources they may use. More...

#include <spot/misc/common.hh>

Collaboration diagram for spot::parallel_policy:

Public Member Functions
	parallel_policy (unsigned nthreads=1)
unsigned	nthreads () const

Detailed Description

This class is used to tell parallel algorithms what resources they may use.

Currently, this simply stores an integer indicating the number of threads that the algorithm may create, but in the future it will probably do more.

---

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

• spot/misc/common.hh