Fixing the constraint. Adding predicateTable
[satune.git] / src / Collections / structs.c
1 #include "structs.h"
2 #include "mymemory.h"
3
4 VectorImpl(Table, Table *, 4);
5 VectorImpl(Set, Set *, 4);
6 VectorImpl(Boolean, Boolean *, 4);
7 VectorImpl(Constraint, Constraint *, 4);
8 VectorImpl(Function, Function *, 4);
9 VectorImpl(Predicate, Predicate *, 4);
10 VectorImpl(Element, Element *, 4);
11 VectorImpl(Order, Order *, 4);
12 VectorImpl(TableEntry, TableEntry *, 4);
13 VectorImpl(ASTNode, ASTNode *, 4);
14 VectorImpl(Int, uint64_t, 4);
15
16 HashTableImpl(BoolConst, BooleanOrder *, Constraint *, BooleanOrder_hash_Function, BooleanOrder_equals);