-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathclassboa_1_1ConstraintProblem.html
More file actions
155 lines (148 loc) · 12.5 KB
/
Copy pathclassboa_1_1ConstraintProblem.html
File metadata and controls
155 lines (148 loc) · 12.5 KB
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
<!-- This comment will put IE 6, 7 and 8 in quirks mode -->
<!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>boa: boa::ConstraintProblem Class Reference</title>
<link href="tabs.css" rel="stylesheet" type="text/css"/>
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javaScript" src="search/search.js"></script>
<link href="doxygen.css" rel="stylesheet" type="text/css"/>
</head>
<body onload='searchBox.OnSelectItem(0);'>
<!-- Generated by Doxygen 1.6.3 -->
<script type="text/javascript"><!--
var searchBox = new SearchBox("searchBox", "search",false,'Search');
--></script>
<div class="navigation" id="top">
<div class="tabs">
<ul>
<li><a href="index.html"><span>Main Page</span></a></li>
<li><a href="namespaces.html"><span>Namespaces</span></a></li>
<li class="current"><a href="annotated.html"><span>Classes</span></a></li>
<li><a href="files.html"><span>Files</span></a></li>
<li>
<div id="MSearchBox" class="MSearchBoxInactive">
<img id="MSearchSelect" src="search/search.png"
onmouseover="return searchBox.OnSearchSelectShow()"
onmouseout="return searchBox.OnSearchSelectHide()"
alt=""/>
<input type="text" id="MSearchField" value="Search" accesskey="S"
onfocus="searchBox.OnSearchFieldFocus(true)"
onblur="searchBox.OnSearchFieldFocus(false)"
onkeyup="searchBox.OnSearchFieldChange(event)"/>
<a id="MSearchClose" href="javascript:searchBox.CloseResultsWindow()"><img id="MSearchCloseImg" border="0" src="search/close.png" alt=""/></a>
</div>
</li>
</ul>
</div>
<div class="tabs">
<ul>
<li><a href="annotated.html"><span>Class List</span></a></li>
<li><a href="classes.html"><span>Class Index</span></a></li>
<li><a href="hierarchy.html"><span>Class Hierarchy</span></a></li>
<li><a href="functions.html"><span>Class Members</span></a></li>
</ul>
</div>
<div class="navpath"><b>boa</b>::<a class="el" href="classboa_1_1ConstraintProblem.html">ConstraintProblem</a>
</div>
</div>
<div class="contents">
<h1>boa::ConstraintProblem Class Reference</h1><!-- doxytag: class="boa::ConstraintProblem" -->
<p><a href="classboa_1_1ConstraintProblem-members.html">List of all members.</a></p>
<table border="0" cellpadding="0" cellspacing="0">
<tr><td colspan="2"><h2>Public Member Functions</h2></td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="anchor" id="ae0d6b0f55e8145eaff91afa7504f9c29"></a><!-- doxytag: member="boa::ConstraintProblem::ConstraintProblem" ref="ae0d6b0f55e8145eaff91afa7504f9c29" args="(bool output_glpk)" -->
</td><td class="memItemRight" valign="bottom"><b>ConstraintProblem</b> (bool output_glpk)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="anchor" id="a2870b2899f586c086ea1e5b2208a610a"></a><!-- doxytag: member="boa::ConstraintProblem::AddBuffer" ref="a2870b2899f586c086ea1e5b2208a610a" args="(const Buffer &buffer)" -->
void </td><td class="memItemRight" valign="bottom"><b>AddBuffer</b> (const <a class="el" href="classboa_1_1Buffer.html">Buffer</a> &buffer)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="anchor" id="af43fbcd5069b9f59e0e5206c450ab3cd"></a><!-- doxytag: member="boa::ConstraintProblem::AddConstraint" ref="af43fbcd5069b9f59e0e5206c450ab3cd" args="(const Constraint &c)" -->
virtual void </td><td class="memItemRight" valign="bottom"><b>AddConstraint</b> (const <a class="el" href="classboa_1_1Constraint.html">Constraint</a> &c)</td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="anchor" id="a01c3951eba29fc831b2c7767603755ec"></a><!-- doxytag: member="boa::ConstraintProblem::Clear" ref="a01c3951eba29fc831b2c7767603755ec" args="()" -->
void </td><td class="memItemRight" valign="bottom"><b>Clear</b> ()</td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="anchor" id="a9182e8fe05d2358e5517a2f3ea26e9c6"></a><!-- doxytag: member="boa::ConstraintProblem::BuffersCount" ref="a9182e8fe05d2358e5517a2f3ea26e9c6" args="() const " -->
int </td><td class="memItemRight" valign="bottom"><b>BuffersCount</b> () const </td></tr>
<tr><td class="memItemLeft" align="right" valign="top">vector< <a class="el" href="classboa_1_1Buffer.html">Buffer</a> > </td><td class="memItemRight" valign="bottom"><a class="el" href="classboa_1_1ConstraintProblem.html#a89906278f9c580dcc86adf95f87d2a9a">Solve</a> () const </td></tr>
<tr><td class="memItemLeft" align="right" valign="top">map< <a class="el" href="classboa_1_1Buffer.html">Buffer</a>, vector< string > > </td><td class="memItemRight" valign="bottom"><a class="el" href="classboa_1_1ConstraintProblem.html#afb4825c5bf44f112f046f9d93bbdbf3f">SolveAndBlame</a> () const </td></tr>
<tr><td colspan="2"><h2>Private Member Functions</h2></td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="anchor" id="a60ffbc390e39b103a7f1cba1c85e09df"></a><!-- doxytag: member="boa::ConstraintProblem::CollectVars" ref="a60ffbc390e39b103a7f1cba1c85e09df" args="() const " -->
set< string > </td><td class="memItemRight" valign="bottom"><b>CollectVars</b> () const </td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="anchor" id="a34ffc1a1497fb14bdfe4ced4f6ca3964"></a><!-- doxytag: member="boa::ConstraintProblem::SolveProblem" ref="a34ffc1a1497fb14bdfe4ced4f6ca3964" args="(LinearProblem lp) const " -->
vector< <a class="el" href="classboa_1_1Buffer.html">Buffer</a> > </td><td class="memItemRight" valign="bottom"><b>SolveProblem</b> (<a class="el" href="classboa_1_1LinearProblem.html">LinearProblem</a> lp) const </td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="anchor" id="a79d8715c50b49b7a1b53603644d8e364"></a><!-- doxytag: member="boa::ConstraintProblem::Blame" ref="a79d8715c50b49b7a1b53603644d8e364" args="(LinearProblem lp, Buffer &buffer) const " -->
vector< string > </td><td class="memItemRight" valign="bottom"><b>Blame</b> (<a class="el" href="classboa_1_1LinearProblem.html">LinearProblem</a> lp, <a class="el" href="classboa_1_1Buffer.html">Buffer</a> &buffer) const </td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="anchor" id="a159d72bb658c0eab85f163dfd362f38a"></a><!-- doxytag: member="boa::ConstraintProblem::MakeFeasableProblem" ref="a159d72bb658c0eab85f163dfd362f38a" args="() const " -->
<a class="el" href="classboa_1_1LinearProblem.html">LinearProblem</a> </td><td class="memItemRight" valign="bottom"><b>MakeFeasableProblem</b> () const </td></tr>
<tr><td colspan="2"><h2>Private Attributes</h2></td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="anchor" id="ad86cfd1d3acdb6d359b7479f77b965bb"></a><!-- doxytag: member="boa::ConstraintProblem::NO_CONSTRAINTS" ref="ad86cfd1d3acdb6d359b7479f77b965bb" args="" -->
const vector< <a class="el" href="classboa_1_1Constraint.html">Constraint</a> > </td><td class="memItemRight" valign="bottom"><b>NO_CONSTRAINTS</b></td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="anchor" id="a2f99b8a9096abaff855faf99ec471122"></a><!-- doxytag: member="boa::ConstraintProblem::constraints_" ref="a2f99b8a9096abaff855faf99ec471122" args="" -->
vector< <a class="el" href="classboa_1_1Constraint.html">Constraint</a> > </td><td class="memItemRight" valign="bottom"><b>constraints_</b></td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="anchor" id="a3f7ac9919417214d8716792039d53dae"></a><!-- doxytag: member="boa::ConstraintProblem::buffers_" ref="a3f7ac9919417214d8716792039d53dae" args="" -->
set< <a class="el" href="classboa_1_1Buffer.html">Buffer</a> > </td><td class="memItemRight" valign="bottom"><b>buffers_</b></td></tr>
<tr><td class="memItemLeft" align="right" valign="top"><a class="anchor" id="a9314f1073359ae0e11ba7ed53ac7a3a3"></a><!-- doxytag: member="boa::ConstraintProblem::outputGlpk_" ref="a9314f1073359ae0e11ba7ed53ac7a3a3" args="" -->
bool </td><td class="memItemRight" valign="bottom"><b>outputGlpk_</b></td></tr>
</table>
<hr/><a name="_details"></a><h2>Detailed Description</h2>
<p>Definition at line <a class="el" href="ConstraintProblem_8h_source.html#l00013">13</a> of file <a class="el" href="ConstraintProblem_8h_source.html">ConstraintProblem.h</a>.</p>
<hr/><h2>Member Function Documentation</h2>
<a class="anchor" id="a89906278f9c580dcc86adf95f87d2a9a"></a><!-- doxytag: member="boa::ConstraintProblem::Solve" ref="a89906278f9c580dcc86adf95f87d2a9a" args="() const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">vector< <a class="el" href="classboa_1_1Buffer.html">Buffer</a> > boa::ConstraintProblem::Solve </td>
<td>(</td>
<td class="paramname"></td>
<td> ) </td>
<td> const</td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Solve the constriant problem defined by the constraints.</p>
<p>Return a set of buffers in which buffer overrun may occur. </p>
<p>Definition at line <a class="el" href="ConstraintProblem_8cpp_source.html#l00051">51</a> of file <a class="el" href="ConstraintProblem_8cpp_source.html">ConstraintProblem.cpp</a>.</p>
</div>
</div>
<a class="anchor" id="afb4825c5bf44f112f046f9d93bbdbf3f"></a><!-- doxytag: member="boa::ConstraintProblem::SolveAndBlame" ref="afb4825c5bf44f112f046f9d93bbdbf3f" args="() const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">map< <a class="el" href="classboa_1_1Buffer.html">Buffer</a>, vector< string > > boa::ConstraintProblem::SolveAndBlame </td>
<td>(</td>
<td class="paramname"></td>
<td> ) </td>
<td> const</td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Solve the constraint problem and generate a minimal set of constraints which cause each overrun</p>
<p>Return a map - the keys are possibly overrun buffers, the corresponding value is a small set of constraints which cause the overrun. The set is minimal in the sense that no subset of these constraint will cause the specific buffer overrun, there might be other (smaller) set which will also cause the overrun. </p>
<p>Definition at line <a class="el" href="ConstraintProblem_8cpp_source.html#l00217">217</a> of file <a class="el" href="ConstraintProblem_8cpp_source.html">ConstraintProblem.cpp</a>.</p>
</div>
</div>
<hr/>The documentation for this class was generated from the following files:<ul>
<li>source/<a class="el" href="ConstraintProblem_8h_source.html">ConstraintProblem.h</a></li>
<li>source/<a class="el" href="ConstraintProblem_8cpp_source.html">ConstraintProblem.cpp</a></li>
</ul>
</div>
<!--- window showing the filter options -->
<div id="MSearchSelectWindow"
onmouseover="return searchBox.OnSearchSelectShow()"
onmouseout="return searchBox.OnSearchSelectHide()"
onkeydown="return searchBox.OnSearchSelectKey(event)">
<a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(0)"><span class="SelectionMark"> </span>All</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(1)"><span class="SelectionMark"> </span>Classes</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(2)"><span class="SelectionMark"> </span>Namespaces</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(3)"><span class="SelectionMark"> </span>Functions</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(4)"><span class="SelectionMark"> </span>Variables</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(5)"><span class="SelectionMark"> </span>Enumerations</a></div>
<!-- iframe showing the search results (closed by default) -->
<div id="MSearchResultsWindow">
<iframe src="" frameborder="0"
name="MSearchResults" id="MSearchResults">
</iframe>
</div>
<hr class="footer"/><address style="text-align: right;"><small>Generated on Sat Mar 19 17:29:27 2011 for boa by
<a href="http://www.doxygen.org/index.html">
<img class="footer" src="doxygen.png" alt="doxygen"/></a> 1.6.3 </small></address>
</body>
</html>