MIPTHREADID
|
Description
|
The ID for the MIP thread.
|
|
Type
|
Integer
|
|
Note
|
The first MIP thread has ID 0 and is the same as the main thread. All other threads are new threads and are destroyed when the global search is halted.
|
|
Set by routines
|
|
|
See also
|