GrGen.NET v7.1 API: the libGr class library (the type exact interface gets generated)
GrGen.NET v7.1 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
Worker
Pool
Thread
Id Property
The internal thread id, not the ManagedThreadId of the thread.
Namespace:
de.unika.ipd.grGen.lgsp
Assembly:
lgspBackend (in lgspBackend.dll) Version: GrGen.NET 7.1
Syntax
C#
Copy
public
static
int
ThreadId
{
get
; }
Property Value
Int32
See Also
Reference
WorkerPool Class
de.unika.ipd.grGen.lgsp Namespace
German legal requirement:
Impressum / Imprint
and
Datenschutzerklärung / Privacy Statement
SyntaxSee AlsoSyntaxSee Also