New approach for Total Order
[satune.git] / src / Collections / structs.h
1 #ifndef STRUCTS_H
2 #define STRUCTS_H
3 #include "vector.h"
4 #include "hashtable.h"
5 #include "hashset.h"
6 #include "classlist.h"
7 #include "array.h"
8
9 ArrayDef(Element, Element *);
10 ArrayDef(Boolean, Boolean *);
11 ArrayDef(Set, Set *);
12
13
14 VectorDef(Table, Table *, 4);
15 VectorDef(Set, Set *, 4);
16 VectorDef(Boolean, Boolean *, 4);
17 VectorDef(Constraint, Constraint *, 4);
18 VectorDef(Function, Function *, 4);
19 VectorDef(Predicate, Predicate *, 4);
20 VectorDef(Element, Element *, 4);
21 VectorDef(Order, Order *, 4);
22 VectorDef(TableEntry, TableEntry *, 4);
23 VectorDef(ASTNode, ASTNode *, 4);
24 VectorDef(Int, uint64_t, 4);
25
26
27
28 HashTableDef(Void, void *, void *);
29 HashTableDef(BoolConst, OrderPair *, Constraint *);
30
31 HashSetDef(Void, void *);
32
33 #endif