equal
deleted
inserted
replaced
10 /** |
10 /** |
11 * Class that handles all sign related functions. |
11 * Class that handles all sign related functions. |
12 */ |
12 */ |
13 class AISign : public AIObject { |
13 class AISign : public AIObject { |
14 public: |
14 public: |
|
15 /** |
|
16 * The name of the class, needed by several sub-processes. |
|
17 */ |
|
18 static const char *GetClassName() { return "AISign"; } |
|
19 |
15 /** |
20 /** |
16 * Gets the maximum sign index; there are no valid signs with a higher index. |
21 * Gets the maximum sign index; there are no valid signs with a higher index. |
17 * @return the maximum sign index. |
22 * @return the maximum sign index. |
18 * @post return value is always non-negative. |
23 * @post return value is always non-negative. |
19 */ |
24 */ |