blob: d9b977cf55c8e82df29c329c0fdc655f600f25ab (
plain)
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
|
#include <omega/RelBody.h>
#include <omega/omega_i.h>
namespace omega {
Variable_ID Rel_Body::get_local(const Variable_ID v) {
Global_Var_ID g;
if (v->kind() == Global_Var) {
g = v->get_global_var();
if (g->arity()) return get_local(g,v->function_of());
return get_local(g);
}
if (is_set()) return set_var(v->get_position());
if (v->kind() == Input_Var) return input_var(v->get_position());
if (v->kind() == Output_Var) return output_var(v->get_position());
assert(0 && "Can only get local for variable with global scope");
exit(1);
return 0;
}
//
// Find or declare global variable.
// If the VarID does not exist, it is created. Otherwise it's returned.
// Note that this version now works only for 0-ary functions.
//
Variable_ID Rel_Body::get_local(const Global_Var_ID G) {
assert(G->arity() == 0);
for(Variable_Iterator i(Symbolic); i; i++)
if ((*i)->get_global_var() == G)
return (*i);
Variable_ID v = G->get_local();
Symbolic.append(v);
return v;
}
Variable_ID Rel_Body::get_local(const Global_Var_ID G, Argument_Tuple of) {
assert(G->arity() == 0 || of == Input_Tuple || of == Output_Tuple);
for(Variable_Iterator i = Symbolic; i; i++)
if ((*i)->get_global_var() == G && (G->arity() == 0 ||
of == (*i)->function_of()))
return (*i);
Variable_ID V = G->get_local(of);
Symbolic.append(V);
return V;
}
bool Rel_Body::has_local(const Global_Var_ID G) {
assert(G->arity() == 0);
for(Variable_Iterator i = Symbolic; i; i++)
if ((*i)->get_global_var() == G)
return true;
return false;
}
bool Rel_Body::has_local(const Global_Var_ID G, Argument_Tuple of) {
assert(G->arity() == 0 || of == Input_Tuple || of == Output_Tuple);
for(Variable_Iterator i = Symbolic; i; i++)
if ((*i)->get_global_var() == G && (G->arity() == 0 ||
of == (*i)->function_of()))
return true;
return false;
}
} // namespace
|
