GrGen.NET v7.2 API: the libGr class library (the type exact interface gets generated)
GrGen.NET v7.2 API: the libGr class library (the type exact interface gets generated)
de.unika.ipd.grGen.lgsp
WorkerPool Class
WorkerPool Properties
PoolSize Property
Task Property
ThreadId Property
WorkerPool Properties
The
WorkerPool
type exposes the following members.
Properties
Name
Description
PoolSize
Task
ThreadId
The internal thread id, not the ManagedThreadId of the thread.
Top
See Also
Reference
WorkerPool Class
de.unika.ipd.grGen.lgsp Namespace
German legal requirement:
Impressum / Imprint
and
Datenschutzerklärung / Privacy Statement