/* Filename : set_collection.cvl
   Author   : XXX
   Created  : 2024-12-12
   Modified : 2025-01-17

   Implementation of collection.h for a set. This module should be
   linked with an implementation of Set.h.  For the most part this
   module just wraps calls to the Set.h interface.

   some Lab
   some division
   some institution
*/
#include "Set.h"
#include "collection.h"
#include "types.h"
#include <stdbool.h>

void * collection_create() {
  return Set_create();
}

void collection_destroy(void * c) {
  Set_destroy(c);
}

void collection_initialize_context(void) {
  Set_initialize_context();
}

void collection_finalize_context(void) {
  Set_finalize_context();
}

void collection_initialize(void * c) {
  Set_initialize(c);
}

void collection_finalize(void * c) {
  Set_finalize(c);
}

void collection_terminate(int tid) {
  Set_terminate(tid);
}

bool collection_stuck(void) {
  return Set_stuck();
}

/* Argument a1 is ignored. */
bool collection_add(void * c, T a0, int a1) {
  return Set_add(c, a0);
}

bool collection_contains(void * c, T a) {
  return Set_contains(c, a);
}

int collection_remove(void * c, T a) {
  return (int)Set_remove(c, a);
}

void collection_print(void * c) {
  Set_print(c);
}