1 /* Copyright (c) 2007-2014. The SimGrid Team.
2 * All rights reserved. */
4 /* This program is free software; you can redistribute it and/or modify it
5 * under the terms of the license (GNU LGPL) which comes with this package. */
10 typedef std::set<const void*>* mc_address_set_t;
14 mc_address_set_t mc_address_set_new();
15 void mc_address_set_free(mc_address_set_t* p);
16 void mc_address_add(mc_address_set_t p, const void* value);
17 bool mc_address_test(mc_address_set_t p, const void* value);
19 mc_address_set_t mc_address_set_new() {
20 return new std::set<const void*>();
23 void mc_address_set_free(mc_address_set_t* p) {
28 void mc_address_add(mc_address_set_t p, const void* value) {
32 bool mc_address_test(mc_address_set_t p, const void* value) {
33 return p->find(value) != p->end();