updated documentation

src/sharing/GlobalStrategies/AllGatherSharing.cpp

@@ -141,7 +141,7 @@ AllGatherSharing::serializeClauses(std::vector<int>& serialized_v_cls)
 	}
 
 	// add final zero and fill with zero if needed
-	serialized_v_cls.insert(serialized_v_cls.end(), totalSize - dataCount, 0);
+	serialized_v_cls.insert(serialized_v_cls.end(), totalSize - dataCount + 1, 0);
 
 	LOGDEBUG1("Serialized %u clauses into buffer of size %u", nb_clauses, serialized_v_cls.size());
 	return nb_clauses;

src/sharing/GlobalStrategies/AllGatherSharing.hpp

@@ -54,6 +54,7 @@ class AllGatherSharing : public GlobalSharingStrategy
   protected:
 	/**
 	 * @brief Serializes clauses for sharing.
+	 * @details Serialization Pattern ([size][lbd][literals])*0+
 	 * @param serialized_v_cls Vector to store the serialized clauses.
 	 * @return The number of clauses serialized.
 	 */

src/sharing/GlobalStrategies/GenericGlobalSharing.hpp

@@ -55,6 +55,7 @@ class GenericGlobalSharing : public GlobalSharingStrategy
 	/**
 	 * @brief Serializes clauses for sharing.
 	 * @param serialized_v_cls Vector to store the serialized clauses.
+	 * @details Serialization Pattern ([size][lbd][literals])*
 	 * @return The number of clauses serialized.
 	 */
 	int serializeClauses(std::vector<int>& serialized_v_cls);

src/sharing/GlobalStrategies/MallobSharing.hpp

@@ -100,6 +100,7 @@ class MallobSharing : public GlobalSharingStrategy
 
 	/**
 	 * @brief Merges serialized buffers with local clauses from the m_clauseDB database.
+	 * @details Serialization Pattern ([size][lbd][literals])*
 	 * @param buffers Vector of references to buffers containing serialized clauses.
 	 * @param result Vector to store the merged result.
 	 * @param nonFreeLiteralsCount Output parameter to store the count of non-free literals.