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
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
|
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
<title>polylib: eval_ehrhart.c File Reference</title>
<link href="tabs.css" rel="stylesheet" type="text/css"/>
<link href="doxygen.css" rel="stylesheet" type="text/css"/>
</head>
<body>
<!-- Generated by Doxygen 1.6.1 -->
<div class="navigation" id="top">
<div class="tabs">
<ul>
<li><a href="main.html"><span>Main Page</span></a></li>
<li><a href="annotated.html"><span>Classes</span></a></li>
<li class="current"><a href="files.html"><span>Files</span></a></li>
</ul>
</div>
<div class="tabs">
<ul>
<li><a href="files.html"><span>File List</span></a></li>
<li><a href="globals.html"><span>File Members</span></a></li>
</ul>
</div>
</div>
<div class="contents">
<h1>eval_ehrhart.c File Reference</h1><code>#include <stdio.h></code><br/>
<code>#include <math.h></code><br/>
<code>#include <<a class="el" href="assert_8h_source.html">assert.h</a>></code><br/>
<code>#include <stdlib.h></code><br/>
<code>#include <<a class="el" href="polylib_8h_source.html">polylib/polylib.h</a>></code><br/>
<p><a href="eval__ehrhart_8c_source.html">Go to the source code of this file.</a></p>
<table border="0" cellpadding="0" cellspacing="0">
<tr><td colspan="2"><h2>Functions</h2></td></tr>
<tr><td class="memItemLeft" align="right" valign="top">int </td><td class="memItemRight" valign="bottom"><a class="el" href="eval__ehrhart_8c.html#aeaa7a17d905454d792bc8bb5409f941d">in_domain</a> (<a class="el" href="structpolyhedron.html">Polyhedron</a> *P, Value *list_args)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top">static double </td><td class="memItemRight" valign="bottom"><a class="el" href="eval__ehrhart_8c.html#af8ffd38faa2d17abcb0ed78b6d3f53b0">compute_enode</a> (<a class="el" href="struct__enode.html">enode</a> *<a class="el" href="vector_8c.html#aa45b2e3dcf291527c5aedc420819adfc">p</a>, Value *list_args)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top">double </td><td class="memItemRight" valign="bottom"><a class="el" href="eval__ehrhart_8c.html#a3f1631cacb65ff7aa29df190b4d30d00">compute_evalue</a> (<a class="el" href="struct__evalue.html">evalue</a> *e, Value *list_args)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top">Value * </td><td class="memItemRight" valign="bottom"><a class="el" href="eval__ehrhart_8c.html#af970e7f69cbf548188a8f3754001a150">compute_poly</a> (<a class="el" href="struct__enumeration.html">Enumeration</a> *en, Value *list_args)</td></tr>
</table>
<hr/><h2>Function Documentation</h2>
<a class="anchor" id="af8ffd38faa2d17abcb0ed78b6d3f53b0"></a><!-- doxytag: member="eval_ehrhart.c::compute_enode" ref="af8ffd38faa2d17abcb0ed78b6d3f53b0" args="(enode *p, Value *list_args)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">static double compute_enode </td>
<td>(</td>
<td class="paramtype"><a class="el" href="struct__enode.html">enode</a> * </td>
<td class="paramname"> <em>p</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">Value * </td>
<td class="paramname"> <em>list_args</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td><code> [static]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="eval__ehrhart_8c_source.html#l00092">92</a> of file <a class="el" href="eval__ehrhart_8c_source.html">eval_ehrhart.c</a>.</p>
<p>References <a class="el" href="types_8h_source.html#l00201">_enode::arr</a>, <a class="el" href="eval__ehrhart_8c_source.html#l00135">compute_evalue()</a>, <a class="el" href="polyparam_8c_source.html#l00282">m</a>, <a class="el" href="types_8h_source.html#l00181">periodic</a>, <a class="el" href="types_8h_source.html#l00181">polynomial</a>, <a class="el" href="types_8h_source.html#l00200">_enode::pos</a>, <a class="el" href="types_8h_source.html#l00199">_enode::size</a>, <a class="el" href="types_8h_source.html#l00198">_enode::type</a>, <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00459">value_assign</a>, <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00462">value_clear</a>, <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00458">value_init</a>, <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00527">value_pmodulus</a>, and <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00460">value_set_si</a>.</p>
<p>Referenced by <a class="el" href="eval__ehrhart_8c_source.html#l00135">compute_evalue()</a>.</p>
</div>
</div>
<a class="anchor" id="a3f1631cacb65ff7aa29df190b4d30d00"></a><!-- doxytag: member="eval_ehrhart.c::compute_evalue" ref="a3f1631cacb65ff7aa29df190b4d30d00" args="(evalue *e, Value *list_args)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">double compute_evalue </td>
<td>(</td>
<td class="paramtype"><a class="el" href="struct__evalue.html">evalue</a> * </td>
<td class="paramname"> <em>e</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">Value * </td>
<td class="paramname"> <em>list_args</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="eval__ehrhart_8c_source.html#l00135">135</a> of file <a class="el" href="eval__ehrhart_8c_source.html">eval_ehrhart.c</a>.</p>
<p>References <a class="el" href="eval__ehrhart_8c_source.html#l00092">compute_enode()</a>, <a class="el" href="types_8h_source.html#l00190">_evalue::d</a>, <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00556">value_notone_p</a>, and <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00554">value_notzero_p</a>.</p>
<p>Referenced by <a class="el" href="eval__ehrhart_8c_source.html#l00092">compute_enode()</a>, and <a class="el" href="eval__ehrhart_8c_source.html#l00158">compute_poly()</a>.</p>
</div>
</div>
<a class="anchor" id="af970e7f69cbf548188a8f3754001a150"></a><!-- doxytag: member="eval_ehrhart.c::compute_poly" ref="af970e7f69cbf548188a8f3754001a150" args="(Enumeration *en, Value *list_args)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">Value* compute_poly </td>
<td>(</td>
<td class="paramtype"><a class="el" href="struct__enumeration.html">Enumeration</a> * </td>
<td class="paramname"> <em>en</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">Value * </td>
<td class="paramname"> <em>list_args</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="eval__ehrhart_8c_source.html#l00158">158</a> of file <a class="el" href="eval__ehrhart_8c_source.html">eval_ehrhart.c</a>.</p>
<p>References <a class="el" href="assert_8h_source.html#l00026">assert</a>, <a class="el" href="eval__ehrhart_8c_source.html#l00135">compute_evalue()</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::Dimension</a>, <a class="el" href="types_8h_source.html#l00207">_enumeration::EP</a>, <a class="el" href="eval__ehrhart_8c_source.html#l00043">in_domain()</a>, <a class="el" href="types_8h_source.html#l00208">_enumeration::next</a>, <a class="el" href="polyparam_8c_source.html#l01693">Print_Domain()</a>, <a class="el" href="ehrhart_8c_source.html#l00192">print_evalue()</a>, <a class="el" href="types_8h_source.html#l00206">_enumeration::ValidityDomain</a>, <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00458">value_init</a>, <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00461">value_set_double</a>, and <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00460">value_set_si</a>.</p>
<p>Referenced by <a class="el" href="verif__ehrhart_8c_source.html#l00078">check_poly()</a>, <a class="el" href="ehrhart__lower__bound_8c_source.html#l00025">main()</a>, <a class="el" href="ehrhart__union_8c_source.html#l00112">recurse()</a>, and <a class="el" href="testCompressParms_8c_source.html#l00273">test_Constraints_fullDimensionize()</a>.</p>
</div>
</div>
<a class="anchor" id="aeaa7a17d905454d792bc8bb5409f941d"></a><!-- doxytag: member="eval_ehrhart.c::in_domain" ref="aeaa7a17d905454d792bc8bb5409f941d" args="(Polyhedron *P, Value *list_args)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">int in_domain </td>
<td>(</td>
<td class="paramtype"><a class="el" href="structpolyhedron.html">Polyhedron</a> * </td>
<td class="paramname"> <em>P</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">Value * </td>
<td class="paramname"> <em>list_args</em></td><td> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td></td><td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="eval__ehrhart_8c_source.html#l00043">43</a> of file <a class="el" href="eval__ehrhart_8c_source.html">eval_ehrhart.c</a>.</p>
<p>References <a class="el" href="types_8h_source.html#l00111">polyhedron::Constraint</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::Dimension</a>, <a class="el" href="eval__ehrhart_8c_source.html#l00043">in_domain()</a>, <a class="el" href="types_8h_source.html#l00110">polyhedron::NbConstraints</a>, <a class="el" href="types_8h_source.html#l00115">polyhedron::next</a>, <a class="el" href="polyhedron_8h_source.html#l00022">POL_ENSURE_INEQUALITIES</a>, <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00516">value_addmul</a>, <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00459">value_assign</a>, <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00462">value_clear</a>, <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00458">value_init</a>, <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00550">value_neg_p</a>, and <a class="el" href="source_2arith_2arithmetique_8h_source.html#l00554">value_notzero_p</a>.</p>
<p>Referenced by <a class="el" href="verif__ehrhart_8c_source.html#l00078">check_poly()</a>, <a class="el" href="eval__ehrhart_8c_source.html#l00158">compute_poly()</a>, and <a class="el" href="eval__ehrhart_8c_source.html#l00043">in_domain()</a>.</p>
</div>
</div>
</div>
<hr size="1"/><address style="text-align: right;"><small>Generated on Wed Nov 25 17:45:27 2009 for polylib by
<a href="http://www.doxygen.org/index.html">
<img class="footer" src="doxygen.png" alt="doxygen"/></a> 1.6.1 </small></address>
</body>
</html>
|
