static void RestoreExecutionInformation()
{
HKEY hKey;
DWORD lpdwDisposition;
struct ExecutionInformation executionInfo;
DWORD type = REG_BINARY;
DWORD size = sizeof(struct ExecutionInformation);
if (RegCreateKeyEx(HKEY_CURRENT_USER,TEXT("Software\\CLIPS\\CLIPSWin"),0,"",0,
KEY_READ | KEY_WRITE,NULL,&hKey,&lpdwDisposition) != ERROR_SUCCESS)
{ return; }
if (RegQueryValueEx(hKey,"Execution",0,&type,(BYTE *) &executionInfo,
&size) != ERROR_SUCCESS)
{
RegCloseKey(hKey);
return;
}
EnvSetSalienceEvaluation(GlobalEnv,executionInfo.salienceEvaluation);
EnvSetStrategy(GlobalEnv,executionInfo.strategy);
EnvSetStaticConstraintChecking(GlobalEnv,executionInfo.staticConstraintChecking);
EnvSetDynamicConstraintChecking(GlobalEnv,executionInfo.dynamicConstraintChecking);
EnvSetAutoFloatDividend(GlobalEnv,executionInfo.autoFloatDividend);
EnvSetResetGlobals(GlobalEnv,executionInfo.resetGlobals);
EnvSetFactDuplication(GlobalEnv,executionInfo.factDuplication);
EnvSetIncrementalReset(GlobalEnv,executionInfo.incrementalReset);
EnvSetSequenceOperatorRecognition(GlobalEnv,executionInfo.sequenceOperatorRecognition);
RegCloseKey(hKey);
}
globle intBool SetAutoFloatDividend(
int value)
{
return EnvSetAutoFloatDividend(GetCurrentEnvironment(),value);
}
