1 /* platf.h - Public interface to the SimGrid platforms */
3 /* Copyright (c) 2004, 2005, 2006, 2007, 2009, 2010, 2011. The SimGrid Team.
4 * All rights reserved. */
6 /* This program is free software; you can redistribute it and/or modify it
7 * under the terms of the license (GNU LGPL) which comes with this package. */
12 #include <xbt.h> /* our toolbox */
14 XBT_PUBLIC(void) sg_platf_new_AS_open(const char *id, const char *mode);
15 XBT_PUBLIC(void) sg_platf_new_AS_close(void);
17 #endif /* SG_PLATF_H */