-/* Copyright (c) 2006-2010, 2012-2014. The SimGrid Team.
+/* Copyright (c) 2006-2010, 2012-2015. The SimGrid Team.
* All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
* @{
*/
XBT_PUBLIC(const SD_link_t *) SD_link_get_list(void);
-XBT_PUBLIC(int) SD_link_get_number(void);
+/** @brief Returns the number of links in the whole platform */
+static inline int SD_link_get_number(void) {
+ return sg_link_amount();
+}
+
/** @brief Returns the user data of a link */
static inline void *SD_link_get_data(SD_link_t link) {
return sg_link_data(link);