1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
|
#undef DONT_INCLUDE_TEMPLATE_CODE
#include <basic/bool.h>
#include <basic/util.h>
#include <basic/List.h>
#include <basic/SimpleList.h>
#include <basic/Bag.h>
#include <basic/Map.h>
#include <basic/Tuple.h>
#include <basic/Section.h>
#include <basic/Exit.h>
#include <basic/Dynamic_Array.h>
#include <omega.h>
#include <omega/AST.h>
template int max(int, int);
template int min(int, int);
template unsigned int min(unsigned int, unsigned int);
template void set_max(int&,int);
template void set_min(int&,int);
template void swap(int&,int&);
template void swap(short&,short&);
template void swap(signed char&,signed char&);
template Relation copy(const Relation &);
instantiate_Set(int);
instantiate_Set(Global_Var_ID);
instantiate_Set(Variable_ID);
instantiate_List(int);
instantiate_List(exit_func);
instantiate_List(Formula *);
instantiate_List(Conjunct *);
instantiate_List(DNF *);
instantiate_List(Relation *);
instantiate_Simple_List(Relation);
typedef Tuple<Relation> RelationTuple;
instantiate_Tuple(bool);
instantiate_Tuple(int);
instantiate_Tuple(coef_t);
instantiate_Tuple(char *);
instantiate_Tuple(Const_String);
instantiate_Tuple(Conjunct *);
instantiate_Tuple(Relation);
instantiate_Tuple(RelationTuple);
instantiate_Tuple(Variable_ID);
instantiate_Tuple(Free_Var_Decl *);
instantiate_Tuple(std::string);
instantiate_Tuple(GEQ_Handle);
instantiate_Section(Variable_ID);
instantiate_Generator(Variable_Info);
instantiate_Generator(GEQ_Handle);
instantiate_Generator(EQ_Handle);
instantiate_Generator(Constraint_Handle);
instantiate_Generator(Sub_Handle);
instantiate_Map(Variable_ID,int);
instantiate_Map(Global_Var_ID, Variable_ID);
instantiate_Map(GEQ_Handle,Variable_ID);
instantiate_Map(EQ_Handle,Variable_ID);
instantiate_Map(Variable_ID,Set<Variable_ID>);
instantiate_Map(Const_String, Relation *);
instantiate_Dynamic_Array1(Coef_Var_Decl *);
instantiate_Dynamic_Array1(Relation);
instantiate_Dynamic_Array2(Relation);
/* Stuff required by calculator: */
instantiate_Bag(Exp *);
instantiate_Bag(strideConstraint *);
instantiate_Bag(Variable_Ref *);
instantiate_Bag(char *);
instantiate_Map(Variable_Ref *, int);
instantiate_Map(Variable_Ref *, Variable_Ref *);
instantiate_Map(Const_String, Variable_Ref *);
instantiate_Set(Free_Var_Decl *);
instantiate_Tuple(Variable_Ref *);
|
