int Executor::_maxThreads(50);
size_t Executor::_threadStackSize(1048576); // Default thread stack size is 1MB
-Executor::Executor():_nbOfConcurrentThreads(0), _semForMaxThreads(_maxThreads),_keepGoingOnFail(false),_DPLScopeSensitive(true)
+Executor::Executor():_nbOfConcurrentThreads(0), _semForMaxThreads(_maxThreads),_keepGoingOnFail(false),_DPLScopeSensitive(false)
{
_root=0;
_toContinue = true;
void RunB(Scheduler *graph,int debug=0, bool fromScratch=true);
void setKeepGoingProperty(bool newVal) { _keepGoingOnFail=newVal; }
bool getKeepGoingProperty() const { return _keepGoingOnFail; }
- void setDPLScopeSensitive(bool newVal) { _DPLScopeSensitive=_DPLScopeSensitive; }
+ void setDPLScopeSensitive(bool newVal) { _DPLScopeSensitive=newVal; }
bool getDPLScopeSensitive() const { return _DPLScopeSensitive; }
YACS::ExecutionMode getCurrentExecMode();
YACS::ExecutorState getExecutorState();