first version of incremental and concurrent query answering, several fixes

Author: andreas-steigmiller

Konclude.pri

@@ -12,7 +12,7 @@ message("Preparing source code of Konclude.")
 TEMPLATE = app
 TARGET = Konclude
 DESTDIR = ./Release
-QT += xml network
+QT += xml network concurrent
 CONFIG += release console warn_off c++11
 DEFINES += QT_XML_LIB QT_NETWORK_LIB KONCLUDE_REDLAND_INTEGRATION KONCLUDE_FORCE_ALL_DEBUG_DEACTIVATED
 INCLUDEPATH += ./generatedfiles \

Konclude.pro

@@ -17,7 +17,7 @@ message("Preparing source code of Konclude.")
 TEMPLATE = lib
 TARGET = Konclude
 DESTDIR = ./Release
-QT += xml network
+QT += xml network concurrent
 CONFIG += release warn_off c++11
 DEFINES += QT_XML_LIB QT_NETWORK_LIB KONCLUDE_FORCE_ALL_DEBUG_DEACTIVATED KONCLUDE_COMPILE_JNI_INTERFACE
 INCLUDEPATH += ./generatedfiles \

KoncludeLIB.pro

@@ -12,7 +12,7 @@ message("Preparing source code of Konclude.")
 TEMPLATE = app
 TARGET = Konclude
 DESTDIR = ./Release
-QT += xml network
+QT += xml network concurrent
 CONFIG += release console warn_off c++11
 DEFINES += QT_XML_LIB QT_NETWORK_LIB KONCLUDE_FORCE_ALL_DEBUG_DEACTIVATED
 INCLUDEPATH += ./generatedfiles \

KoncludeWithoutRedland.pro

@@ -0,0 +1,43 @@
+/*
+ *		Copyright (C) 2013-2015, 2019 by the Konclude Developer Team.
+ *
+ *		This file is part of the reasoning system Konclude.
+ *		For details and support, see <http://konclude.com/>.
+ *
+ *		Konclude is free software: you can redistribute it and/or modify
+ *		it under the terms of version 3 of the GNU General Public License
+ *		(LGPLv3) as published by the Free Software Foundation.
+ *
+ *		Konclude is distributed in the hope that it will be useful,
+ *		but WITHOUT ANY WARRANTY; without even the implied warranty of
+ *		MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+ *		GNU General Public License for more details.
+ *
+ *		You should have received a copy of the GNU General Public License
+ *		along with Konclude. If not, see <http://www.gnu.org/licenses/>.
+ *
+ */
+
+#include "CMemoryPoolNewAllocationContext.h"
+
+
+namespace Konclude {
+
+	namespace Context {
+
+		CMemoryPoolNewAllocationContext::CMemoryPoolNewAllocationContext(cint64 defaultPoolSize) : CMemoryPoolContainer(), mDefNewMemPoolProvider(defaultPoolSize), mMemMan(this, &mDefNewMemPoolProvider) {
+		}
+
+		CMemoryPoolNewAllocationContext::~CMemoryPoolNewAllocationContext() {
+		}
+
+		CMemoryAllocationManager* CMemoryPoolNewAllocationContext::getMemoryAllocationManager() {
+			return &mMemMan;
+		}
+
+
+
+	}; // end namespace Context
+
+}; // end namespace Konclude
+

Source/Context/CMemoryPoolNewAllocationContext.cpp

@@ -0,0 +1,91 @@
+/*
+ *		Copyright (C) 2013-2015, 2019 by the Konclude Developer Team.
+ *
+ *		This file is part of the reasoning system Konclude.
+ *		For details and support, see <http://konclude.com/>.
+ *
+ *		Konclude is free software: you can redistribute it and/or modify
+ *		it under the terms of version 3 of the GNU General Public License
+ *		(LGPLv3) as published by the Free Software Foundation.
+ *
+ *		Konclude is distributed in the hope that it will be useful,
+ *		but WITHOUT ANY WARRANTY; without even the implied warranty of
+ *		MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+ *		GNU General Public License for more details.
+ *
+ *		You should have received a copy of the GNU General Public License
+ *		along with Konclude. If not, see <http://www.gnu.org/licenses/>.
+ *
+ */
+
+#ifndef KONCLUDE_CONTEXT_CMEMORYPOOLNEWALLOCATIONCONTEXT_H
+#define KONCLUDE_CONTEXT_CMEMORYPOOLNEWALLOCATIONCONTEXT_H
+
+// Library includes
+
+
+// Namespace includes
+#include "ContextSettings.h"
+#include "CContext.h"
+
+// Other includes
+#include "Utilities/Memory/CMemoryAllocationManager.h"
+#include "Utilities/Memory/CNewAllocationMemoryPoolProvider.h"
+#include "Utilities/Memory/CMemoryPoolContainerAllocationManager.h"
+#include "Utilities/Memory/CMemoryPoolContainer.h"
+
+#include "Utilities/UtilitiesSettings.h"
+
+// Logger includes
+#include "Logger/CLogger.h"
+
+
+namespace Konclude {
+
+	using namespace Utilities;
+	using namespace Utilities::Memory;
+
+	namespace Context {
+
+
+		/*! 
+		 *
+		 *		\class		CMemoryPoolNewAllocationContext
+		 *		\author		Andreas Steigmiller
+		 *		\version	0.1
+		 *		\brief		TODO
+		 *
+		 */
+		class CMemoryPoolNewAllocationContext : public CContext, public CMemoryPoolContainer {
+			// public methods
+			public:
+				//! Constructor
+				CMemoryPoolNewAllocationContext(cint64 defaultPoolSize = DEFAULTMEMORYPOOLSIZE);
+
+				//! Destructor
+				virtual ~CMemoryPoolNewAllocationContext();
+
+				virtual CMemoryAllocationManager* getMemoryAllocationManager();
+
+
+			// protected methods
+			protected:
+
+			// protected variables
+			protected:
+				CNewAllocationMemoryPoolProvider mDefNewMemPoolProvider;
+				CMemoryPoolContainerAllocationManager mMemMan;
+
+			// private methods
+			private:
+
+			// private variables
+			private:
+		};
+
+
+	}; // end namespace Context
+
+}; // end namespace Konclude
+
+#endif // KONCLUDE_CONTEXT_CMEMORYPOOLNEWALLOCATIONCONTEXT_H

Source/Context/CMemoryPoolNewAllocationContext.h

@@ -0,0 +1,43 @@
+/*
+ *		Copyright (C) 2013-2015, 2019 by the Konclude Developer Team.
+ *
+ *		This file is part of the reasoning system Konclude.
+ *		For details and support, see <http://konclude.com/>.
+ *
+ *		Konclude is free software: you can redistribute it and/or modify
+ *		it under the terms of version 3 of the GNU General Public License
+ *		(LGPLv3) as published by the Free Software Foundation.
+ *
+ *		Konclude is distributed in the hope that it will be useful,
+ *		but WITHOUT ANY WARRANTY; without even the implied warranty of
+ *		MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+ *		GNU General Public License for more details.
+ *
+ *		You should have received a copy of the GNU General Public License
+ *		along with Konclude. If not, see <http://www.gnu.org/licenses/>.
+ *
+ */
+
+#include "CMemoryPoolNewAllocationIncreasingContext.h"
+
+
+namespace Konclude {
+
+	namespace Context {
+
+		CMemoryPoolNewAllocationIncreasingContext::CMemoryPoolNewAllocationIncreasingContext(cint64 defaultPoolSize, cint64 maxPoolSize, double increasingFactor) : CMemoryPoolContainer(), mDefNewMemPoolProvider(defaultPoolSize, maxPoolSize, increasingFactor), mMemMan(this, &mDefNewMemPoolProvider) {
+		}
+
+		CMemoryPoolNewAllocationIncreasingContext::~CMemoryPoolNewAllocationIncreasingContext() {
+		}
+
+		CMemoryAllocationManager* CMemoryPoolNewAllocationIncreasingContext::getMemoryAllocationManager() {
+			return &mMemMan;
+		}
+
+
+
+	}; // end namespace Context
+
+}; // end namespace Konclude
+

Source/Context/CMemoryPoolNewAllocationIncreasingContext.cpp

@@ -0,0 +1,91 @@
+/*
+ *		Copyright (C) 2013-2015, 2019 by the Konclude Developer Team.
+ *
+ *		This file is part of the reasoning system Konclude.
+ *		For details and support, see <http://konclude.com/>.
+ *
+ *		Konclude is free software: you can redistribute it and/or modify
+ *		it under the terms of version 3 of the GNU General Public License
+ *		(LGPLv3) as published by the Free Software Foundation.
+ *
+ *		Konclude is distributed in the hope that it will be useful,
+ *		but WITHOUT ANY WARRANTY; without even the implied warranty of
+ *		MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+ *		GNU General Public License for more details.
+ *
+ *		You should have received a copy of the GNU General Public License
+ *		along with Konclude. If not, see <http://www.gnu.org/licenses/>.
+ *
+ */
+
+#ifndef KONCLUDE_CONTEXT_CMEMORYPOOLNEWALLOCATIONINCREASINGCONTEXT_H
+#define KONCLUDE_CONTEXT_CMEMORYPOOLNEWALLOCATIONINCREASINGCONTEXT_H
+
+// Library includes
+
+
+// Namespace includes
+#include "ContextSettings.h"
+#include "CContext.h"
+
+// Other includes
+#include "Utilities/Memory/CMemoryAllocationManager.h"
+#include "Utilities/Memory/CNewAllocationIncreasingMemoryPoolProvider.h"
+#include "Utilities/Memory/CMemoryPoolContainerAllocationManager.h"
+#include "Utilities/Memory/CMemoryPoolContainer.h"
+
+#include "Utilities/UtilitiesSettings.h"
+
+// Logger includes
+#include "Logger/CLogger.h"
+
+
+namespace Konclude {
+
+	using namespace Utilities;
+	using namespace Utilities::Memory;
+
+	namespace Context {
+
+
+		/*! 
+		 *
+		 *		\class		CMemoryPoolNewAllocationIncreasingContext
+		 *		\author		Andreas Steigmiller
+		 *		\version	0.1
+		 *		\brief		TODO
+		 *
+		 */
+		class CMemoryPoolNewAllocationIncreasingContext : public CContext, public CMemoryPoolContainer {
+			// public methods
+			public:
+				//! Constructor
+				CMemoryPoolNewAllocationIncreasingContext(cint64 defaultPoolSize = DEFAULTMEMORYPOOLSIZE, cint64 maxPoolSize = -1, double increasingFactor = 2.);
+
+				//! Destructor
+				virtual ~CMemoryPoolNewAllocationIncreasingContext();
+
+				virtual CMemoryAllocationManager* getMemoryAllocationManager();
+
+
+			// protected methods
+			protected:
+
+			// protected variables
+			protected:
+				CNewAllocationIncreasingMemoryPoolProvider mDefNewMemPoolProvider;
+				CMemoryPoolContainerAllocationManager mMemMan;
+
+			// private methods
+			private:
+
+			// private variables
+			private:
+		};
+
+
+	}; // end namespace Context
+
+}; // end namespace Konclude
+
+#endif // KONCLUDE_CONTEXT_CMEMORYPOOLNEWALLOCATIONINCREASINGCONTEXT_H

Source/Context/CMemoryPoolNewAllocationIncreasingContext.h

@@ -0,0 +1,43 @@
+/*
+ *		Copyright (C) 2013-2015, 2019 by the Konclude Developer Team.
+ *
+ *		This file is part of the reasoning system Konclude.
+ *		For details and support, see <http://konclude.com/>.
+ *
+ *		Konclude is free software: you can redistribute it and/or modify
+ *		it under the terms of version 3 of the GNU General Public License
+ *		(LGPLv3) as published by the Free Software Foundation.
+ *
+ *		Konclude is distributed in the hope that it will be useful,
+ *		but WITHOUT ANY WARRANTY; without even the implied warranty of
+ *		MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+ *		GNU General Public License for more details.
+ *
+ *		You should have received a copy of the GNU General Public License
+ *		along with Konclude. If not, see <http://www.gnu.org/licenses/>.
+ *
+ */
+
+#include "CMemoryPoolReallocationIncreasingContext.h"
+
+
+namespace Konclude {
+
+	namespace Context {
+
+		CMemoryPoolReallocationIncreasingContext::CMemoryPoolReallocationIncreasingContext(CMemoryAllocationManager* reallocationMemMan, cint64 defaultPoolSize, cint64 maxPoolSize, double increasingFactor) : CMemoryPoolContainer(), mDefNewMemPoolProvider(reallocationMemMan, defaultPoolSize, maxPoolSize, increasingFactor), mMemMan(this, &mDefNewMemPoolProvider) {
+		}
+
+		CMemoryPoolReallocationIncreasingContext::~CMemoryPoolReallocationIncreasingContext() {
+		}
+
+		CMemoryAllocationManager* CMemoryPoolReallocationIncreasingContext::getMemoryAllocationManager() {
+			return &mMemMan;
+		}
+
+
+
+	}; // end namespace Context
+
+}; // end namespace Konclude
+