Searched refs:AllowNonDeterministicOutput (Results 1 – 5 of 5) sorted by relevance
83 setAllowNonDeterministicOutput(bool AllowNonDeterministicOutput) override { in setAllowNonDeterministicOutput() argument84 GlobalData.Options.AllowNonDeterministicOutput = in setAllowNonDeterministicOutput()85 AllowNonDeterministicOutput; in setAllowNonDeterministicOutput()
139 if (!GlobalData.getOptions().AllowNonDeterministicOutput) { in prepareDataForTreeCreation()147 if (!GlobalData.getOptions().AllowNonDeterministicOutput) { in prepareDataForTreeCreation()192 if (!GlobalData.getOptions().AllowNonDeterministicOutput) { in prepareDataForTreeCreation()214 if (!GlobalData.getOptions().AllowNonDeterministicOutput) { in prepareDataForTreeCreation()
52 bool AllowNonDeterministicOutput = false; member