|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use JTLVThread | |
|---|---|
| edu.wis.jtlv.env | The main package of JTLV, most creational action are usually done through static procedures in object Env. |
| Uses of JTLVThread in edu.wis.jtlv.env |
|---|
| Methods in edu.wis.jtlv.env with parameters of type JTLVThread | |
|---|---|
static int |
Env.assignDedicatedBDDManagerIdx(JTLVThread new_thread)
A procedure called from within JTLVThread which allocates and assign a manager to the given thread. |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||