src/ai/api/ai_company.hpp
branchnoai
changeset 10856 c7b29152d594
parent 10855 90904faa1890
--- a/src/ai/api/ai_company.hpp	Sat Jun 07 23:08:42 2008 +0000
+++ b/src/ai/api/ai_company.hpp	Sat Jun 07 23:30:41 2008 +0000
@@ -33,6 +33,13 @@
 	static CompanyID ResolveCompanyID(CompanyID company);
 
 	/**
+	 * Check if a CompanyID is your CompanyID, to ease up checks.
+	 * @param company The company index to check.
+	 * @return True if and only if this company is your CompanyID.
+	 */
+	static bool IsMine(CompanyID company);
+
+	/**
 	 * Set the name of your company.
 	 * @param name The new name of the company.
 	 * @pre 'name' must have at least one character.