Reorg code
[satune.git] / src / Collections / structs.c
1 #include "structs.h"
2 #include "mymemory.h"
3
4 VectorImpl(Int, uint64_t, 4);
5 VectorImpl(Void, void *, 4);
6 VectorImpl(Boolean, Boolean *, 4);
7 VectorImpl(Constraint, Constraint *, 4);
8 VectorImpl(Set, Set *, 4);
9 VectorImpl(Element, Element *, 4);
10 HashTableImpl(Void, void *, void *, Ptr_hash_function, Ptr_equals);
11 HashSetImpl(Void, void *, Ptr_hash_function, Ptr_equals);