72     Win32ThreadSupport* threadSupport = new Win32ThreadSupport(threadConstructionInfo);  in createSolverThreadSupport()  local
73     threadSupport->startSPU();  in createSolverThreadSupport()
77     PosixThreadSupport* threadSupport = new PosixThreadSupport(constructionInfo);  in createSolverThreadSupport()
78     threadSupport->startSPU();  in createSolverThreadSupport()
81     SequentialThreadSupport* threadSupport = new SequentialThreadSupport(tci);  in createSolverThreadSupport()
82     threadSupport->startSPU();  in createSolverThreadSupport()
84     return threadSupport;  in createSolverThreadSupport()
90     Win32ThreadSupport* threadSupport = new Win32ThreadSupport(threadConstructionInfo);  in createDispatchThreadSupport()  local
91     threadSupport->startSPU();  in createDispatchThreadSupport()
95     PosixThreadSupport* threadSupport = new PosixThreadSupport(solverConstructionInfo);  in createDispatchThreadSupport()
96     threadSupport->startSPU();  in createDispatchThreadSupport()
99     SequentialThreadSupport* threadSupport = new SequentialThreadSupport(tci);  in createDispatchThreadSupport()
100     threadSupport->startSPU();  in createDispatchThreadSupport()
102     return threadSupport;  in createDispatchThreadSupport()