/usr/share/doc/coinor-libflopc++-doc/html/MP__domain_8cpp_source.html is in coinor-libflopc++-doc 1.0.6-3.1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
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 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 | <!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>FLOPC++: MP_domain.cpp Source File</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.7.4 -->
<div id="top">
<div id="titlearea">
<table cellspacing="0" cellpadding="0">
<tbody>
<tr style="height: 56px;">
<td style="padding-left: 0.5em;">
<div id="projectname">FLOPC++</div>
</td>
</tr>
</tbody>
</table>
</div>
<div id="navrow1" class="tabs">
<ul class="tablist">
<li><a href="index.html"><span>Main Page</span></a></li>
<li><a href="pages.html"><span>Related Pages</span></a></li>
<li><a href="modules.html"><span>Modules</span></a></li>
<li><a href="namespaces.html"><span>Namespaces</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 id="navrow2" class="tabs2">
<ul class="tablist">
<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 class="header">
<div class="headertitle">
<div class="title">MP_domain.cpp</div> </div>
</div>
<div class="contents">
<a href="MP__domain_8cpp.html">Go to the documentation of this file.</a><div class="fragment"><pre class="fragment"><a name="l00001"></a>00001 <span class="comment">// ******************** FlopCpp **********************************************</span>
<a name="l00002"></a>00002 <span class="comment">// File: MP_domain.cpp</span>
<a name="l00003"></a>00003 <span class="comment">// $Id$</span>
<a name="l00004"></a>00004 <span class="comment">// Author: Tim Helge Hultberg (thh@mat.ua.pt)</span>
<a name="l00005"></a>00005 <span class="comment">// Copyright (C) 2003 Tim Helge Hultberg</span>
<a name="l00006"></a>00006 <span class="comment">// All Rights Reserved.</span>
<a name="l00007"></a>00007 <span class="comment">//****************************************************************************</span>
<a name="l00008"></a>00008
<a name="l00009"></a>00009 <span class="preprocessor">#include "<a class="code" href="MP__domain_8hpp.html">MP_domain.hpp</a>"</span>
<a name="l00010"></a>00010 <span class="preprocessor">#include "<a class="code" href="MP__set_8hpp.html">MP_set.hpp</a>"</span>
<a name="l00011"></a>00011 <span class="preprocessor">#include "<a class="code" href="MP__boolean_8hpp.html">MP_boolean.hpp</a>"</span>
<a name="l00012"></a>00012 <span class="preprocessor">#include "<a class="code" href="MP__model_8hpp.html">MP_model.hpp</a>"</span>
<a name="l00013"></a>00013
<a name="l00014"></a>00014 <span class="keyword">namespace </span>flopc {
<a name="l00015"></a><a class="code" href="classflopc_1_1MP__domain__set.html#a8f041a7fe4b0cbf356e1f338aa1fc834">00015</a> <a class="code" href="classflopc_1_1MP__domain__set.html#a8f041a7fe4b0cbf356e1f338aa1fc834" title="Constructor taking a set pointer and an index pointer.">MP_domain_set::MP_domain_set</a>(<span class="keyword">const</span> <a class="code" href="classflopc_1_1MP__set.html" title="Representation of a set for indexing into some other construct.This is one of the main public interfa...">MP_set</a>* s, <a class="code" href="classflopc_1_1MP__index.html" title="Representation of an index.This is one of the main public interface classes. It is used to iterate th...">MP_index</a>* i)
<a name="l00016"></a>00016 : S(s), I(i) {}
<a name="l00017"></a><a class="code" href="classflopc_1_1MP__domain__set.html#a55633d4a57cca59441f84092aae177e6">00017</a> <a class="code" href="classflopc_1_1MP__domain__set.html#a55633d4a57cca59441f84092aae177e6">MP_domain_set::~MP_domain_set</a>() {}
<a name="l00018"></a><a class="code" href="classflopc_1_1MP__domain__set.html#a67fc456b62091dcaff46fe0d6dfa70ae">00018</a> <a class="code" href="classflopc_1_1MP__domain.html" title="Range over which some other constuct is defined.This is one of the main public interface classes...">MP_domain</a> <a class="code" href="classflopc_1_1MP__domain__set.html#a67fc456b62091dcaff46fe0d6dfa70ae">MP_domain_set::getDomain</a>(<a class="code" href="classflopc_1_1MP__set.html" title="Representation of a set for indexing into some other construct.This is one of the main public interfa...">MP_set</a>* s)<span class="keyword"> const </span>{
<a name="l00019"></a>00019 <span class="keywordflow">return</span> <a class="code" href="classflopc_1_1MP__domain__base.html#a8368497d50e4eff1cff333b5b2fcecac">MP_domain</a>(const_cast<MP_domain_set*>(<span class="keyword">this</span>));
<a name="l00020"></a>00020 }
<a name="l00021"></a>00021
<a name="l00022"></a><a class="code" href="classflopc_1_1Functor__conditional.html">00022</a> <span class="keyword">class </span><a class="code" href="classflopc_1_1Functor__conditional.html">Functor_conditional</a> : <span class="keyword">public</span> <a class="code" href="classflopc_1_1Functor.html" title="Function object. Often used.">Functor</a> {
<a name="l00023"></a>00023 <span class="keyword">public</span>:
<a name="l00024"></a><a class="code" href="classflopc_1_1Functor__conditional.html#a351b5e2d511400aa0eb907e532c68d8b">00024</a> <a class="code" href="classflopc_1_1Functor__conditional.html#a351b5e2d511400aa0eb907e532c68d8b">Functor_conditional</a>(<span class="keyword">const</span> <a class="code" href="classflopc_1_1Functor.html" title="Function object. Often used.">Functor</a>* f, <span class="keyword">const</span> std::vector<MP_boolean> & condition)
<a name="l00025"></a>00025 : <a class="code" href="classflopc_1_1Functor__conditional.html#a244b5807608d3c1c95f64fe6ef53c565">F</a>(f), <a class="code" href="classflopc_1_1Functor__conditional.html#aa0038df0fea1fc53a935f6bad120d16b">Condition</a>(condition) {}
<a name="l00026"></a><a class="code" href="classflopc_1_1Functor__conditional.html#a77fe46249a838e2f7d289de21b211d19">00026</a> <span class="keyword">virtual</span> <a class="code" href="classflopc_1_1Functor__conditional.html#a77fe46249a838e2f7d289de21b211d19">~Functor_conditional</a>() {}
<a name="l00027"></a><a class="code" href="classflopc_1_1Functor__conditional.html#a359ea8dc8c5d7e2e0025c71f32985187">00027</a> <span class="keywordtype">void</span> <a class="code" href="classflopc_1_1Functor__conditional.html#a359ea8dc8c5d7e2e0025c71f32985187">operator()</a>()<span class="keyword"> const </span>{
<a name="l00028"></a>00028 <span class="keywordtype">bool</span> goOn = <span class="keyword">true</span>;
<a name="l00029"></a>00029 <span class="keywordflow">for</span> (<span class="keywordtype">size_t</span> i = 0; i<<a class="code" href="classflopc_1_1Functor__conditional.html#aa0038df0fea1fc53a935f6bad120d16b">Condition</a>.size(); i++) {
<a name="l00030"></a>00030 <span class="keywordflow">if</span> (<a class="code" href="classflopc_1_1Functor__conditional.html#aa0038df0fea1fc53a935f6bad120d16b">Condition</a>[i]->evaluate()==<span class="keyword">false</span>) {
<a name="l00031"></a>00031 goOn = <span class="keyword">false</span>;
<a name="l00032"></a>00032 <span class="keywordflow">break</span>;
<a name="l00033"></a>00033 }
<a name="l00034"></a>00034 }
<a name="l00035"></a>00035 <span class="keywordflow">if</span> (goOn == <span class="keyword">true</span>) {
<a name="l00036"></a>00036 <a class="code" href="classflopc_1_1Functor__conditional.html#a244b5807608d3c1c95f64fe6ef53c565">F</a>->operator()();
<a name="l00037"></a>00037 }
<a name="l00038"></a>00038 }
<a name="l00039"></a><a class="code" href="classflopc_1_1Functor__conditional.html#a244b5807608d3c1c95f64fe6ef53c565">00039</a> <span class="keyword">const</span> <a class="code" href="classflopc_1_1Functor.html" title="Function object. Often used.">Functor</a>* <a class="code" href="classflopc_1_1Functor__conditional.html#a244b5807608d3c1c95f64fe6ef53c565">F</a>;
<a name="l00040"></a><a class="code" href="classflopc_1_1Functor__conditional.html#aa0038df0fea1fc53a935f6bad120d16b">00040</a> std::vector<MP_boolean> <a class="code" href="classflopc_1_1Functor__conditional.html#aa0038df0fea1fc53a935f6bad120d16b">Condition</a>;
<a name="l00041"></a>00041 };
<a name="l00042"></a>00042 }
<a name="l00043"></a>00043
<a name="l00044"></a>00044 <span class="keyword">using namespace </span>flopc;
<a name="l00045"></a>00045
<a name="l00046"></a>00046 <span class="keyword">const</span> <a class="code" href="classflopc_1_1MP__domain.html" title="Range over which some other constuct is defined.This is one of the main public interface classes...">MP_domain</a>* <a class="code" href="classflopc_1_1MP__domain.html#a3f52394d5d8a18edddca55236fc2682b">MP_domain::Empty</a> = 0;
<a name="l00047"></a>00047
<a name="l00048"></a><a class="code" href="classflopc_1_1MP__domain.html#acd2840f77274ad4bbdd481ce3223f4d0">00048</a> <span class="keyword">const</span> <a class="code" href="classflopc_1_1MP__domain.html" title="Range over which some other constuct is defined.This is one of the main public interface classes...">MP_domain</a>& <a class="code" href="classflopc_1_1MP__domain.html#acd2840f77274ad4bbdd481ce3223f4d0" title="returns a reference to the "empty" set.">MP_domain::getEmpty</a>() {
<a name="l00049"></a>00049 <span class="keywordflow">if</span>(<a class="code" href="classflopc_1_1MP__domain.html#a3f52394d5d8a18edddca55236fc2682b">Empty</a> == 0) {
<a name="l00050"></a>00050 <a class="code" href="classflopc_1_1MP__domain.html#a3f52394d5d8a18edddca55236fc2682b">Empty</a>= <span class="keyword">new</span> <a class="code" href="classflopc_1_1MP__domain.html#a1fae494ff4ea483b71cfd2eb9c809c7f">MP_domain</a>(<span class="keyword">new</span> <a class="code" href="classflopc_1_1MP__domain__set.html" title="Range over which some other constuct is defined.This is one of the main public interface classes...">MP_domain_set</a>(&<a class="code" href="classflopc_1_1MP__set.html#a23d5cd95f9426b0c762b65ddb1365ea1" title="gets the distinct 'empty' MP_set.">MP_set::getEmpty</a>(),&<a class="code" href="classflopc_1_1MP__set.html#a23d5cd95f9426b0c762b65ddb1365ea1" title="gets the distinct 'empty' MP_set.">MP_set::getEmpty</a>()));
<a name="l00051"></a>00051 }
<a name="l00052"></a>00052 <span class="keywordflow">return</span> *<a class="code" href="classflopc_1_1MP__domain.html#a3f52394d5d8a18edddca55236fc2682b">Empty</a>;
<a name="l00053"></a>00053 }
<a name="l00054"></a>00054
<a name="l00055"></a>00055
<a name="l00056"></a><a class="code" href="classflopc_1_1MP__domain__base.html#a6e7cd770ffadb5eb1dc6fd3169b86127">00056</a> <a class="code" href="classflopc_1_1MP__domain__base.html#a6e7cd770ffadb5eb1dc6fd3169b86127">MP_domain_base::MP_domain_base</a>() : count(0), donext(0) {}
<a name="l00057"></a><a class="code" href="classflopc_1_1MP__domain__base.html#aece2d0f4a3928298a9c0d601b30e6d4c">00057</a> <a class="code" href="classflopc_1_1MP__domain__base.html#aece2d0f4a3928298a9c0d601b30e6d4c">MP_domain_base::~MP_domain_base</a>() {}
<a name="l00058"></a>00058
<a name="l00059"></a><a class="code" href="classflopc_1_1MP__domain__base.html#a078107ab6660578a460decd7ec1d311c">00059</a> <a class="code" href="classflopc_1_1Functor.html" title="Function object. Often used.">Functor</a>* <a class="code" href="classflopc_1_1MP__domain__base.html#a078107ab6660578a460decd7ec1d311c">MP_domain_base::makeInsertFunctor</a>()<span class="keyword"> const </span>{
<a name="l00060"></a>00060 <span class="keywordflow">return</span> 0;
<a name="l00061"></a>00061 }
<a name="l00062"></a>00062
<a name="l00063"></a><a class="code" href="classflopc_1_1MP__domain__base.html#a1e79f63295f20d2c64984b7fe6ce8b17">00063</a> <span class="keywordtype">size_t</span> <a class="code" href="classflopc_1_1MP__domain__base.html#a1e79f63295f20d2c64984b7fe6ce8b17">MP_domain_base::size</a>()<span class="keyword"> const </span>{
<a name="l00064"></a>00064 <span class="keywordflow">return</span> <a class="code" href="classflopc_1_1MP__domain__base.html#aa3043c99d49b0f614881874d91ea4f6e">count</a>;
<a name="l00065"></a>00065 }
<a name="l00066"></a>00066
<a name="l00067"></a>00067
<a name="l00068"></a><a class="code" href="classflopc_1_1MP__domain__base.html#a9d4b15a76ce7812d23a131598470aa28">00068</a> <span class="keywordtype">void</span> <a class="code" href="classflopc_1_1MP__domain__base.html#a9d4b15a76ce7812d23a131598470aa28">MP_domain_base::display</a>()<span class="keyword">const </span>{
<a name="l00069"></a>00069 std::stringstream ss;
<a name="l00070"></a>00070 ss<<<span class="stringliteral">"domain_base::display() size="</span><<<a class="code" href="classflopc_1_1MP__domain__base.html#a1e79f63295f20d2c64984b7fe6ce8b17">size</a>()<<std::ends;
<a name="l00071"></a>00071 <a class="code" href="classflopc_1_1MP__model.html#af805b23956cf33dc065e0ef5909b172d">MP_model::getCurrentModel</a>()-><a class="code" href="classflopc_1_1MP__model.html#a3426d2293659448f7a45e3a3a8b83e8b">getMessenger</a>()-><a class="code" href="classflopc_1_1Messenger.html#adaf8e1eba8c8dfb891319f27a96952b6">logMessage</a>(5,ss.str().c_str());
<a name="l00072"></a>00072 }
<a name="l00073"></a>00073
<a name="l00074"></a><a class="code" href="classflopc_1_1MP__domain.html#a1fae494ff4ea483b71cfd2eb9c809c7f">00074</a> <a class="code" href="classflopc_1_1MP__domain.html#a1fae494ff4ea483b71cfd2eb9c809c7f">MP_domain::MP_domain</a>() : <a class="code" href="classflopc_1_1Handle.html" title="Utility for doing reference counted pointers.">Handle</a><<a class="code" href="classflopc_1_1MP__domain__base.html" title="Reference to a set of index values.">MP_domain_base</a>*>(0), last(0) {}
<a name="l00075"></a><a class="code" href="classflopc_1_1MP__domain.html#acd6f1c383ce6db8c38501398c0581c61">00075</a> <a class="code" href="classflopc_1_1MP__domain.html#a1fae494ff4ea483b71cfd2eb9c809c7f">MP_domain::MP_domain</a>(<a class="code" href="classflopc_1_1MP__domain__base.html" title="Reference to a set of index values.">MP_domain_base</a>* r) : <a class="code" href="classflopc_1_1Handle.html" title="Utility for doing reference counted pointers.">Handle</a><<a class="code" href="classflopc_1_1MP__domain__base.html" title="Reference to a set of index values.">MP_domain_base</a>*>(r), last(r) {}
<a name="l00076"></a><a class="code" href="classflopc_1_1MP__domain.html#a51a84f41852ff046d91dc39e410b941b">00076</a> <a class="code" href="classflopc_1_1MP__domain.html#a51a84f41852ff046d91dc39e410b941b">MP_domain::~MP_domain</a>() {}
<a name="l00077"></a>00077
<a name="l00078"></a><a class="code" href="classflopc_1_1MP__domain.html#a2f7c02cf9c982e91249b60efdaf74d6b">00078</a> <a class="code" href="classflopc_1_1MP__domain.html" title="Range over which some other constuct is defined.This is one of the main public interface classes...">MP_domain</a> <a class="code" href="classflopc_1_1MP__domain.html#a2f7c02cf9c982e91249b60efdaf74d6b" title="Special conditional creation of a subset.">MP_domain::such_that</a>(<span class="keyword">const</span> <a class="code" href="classflopc_1_1MP__boolean.html" title="Reference counted class for all "boolean" types of data.This contains counters to ConstantBase pointe...">MP_boolean</a>& b) {
<a name="l00079"></a>00079 <span class="keywordflow">if</span> (b.operator ->() != 0) {
<a name="l00080"></a>00080 <a class="code" href="classflopc_1_1MP__domain.html#a3c9e97a6a99898f1c1956d3f2dd2e2a4">condition</a>.push_back(b);
<a name="l00081"></a>00081 }
<a name="l00082"></a>00082 <span class="keywordflow">return</span> *<span class="keyword">this</span>;
<a name="l00083"></a>00083 }
<a name="l00084"></a>00084
<a name="l00085"></a><a class="code" href="classflopc_1_1MP__domain.html#a9f46a6c33e2c2a46851ce8c8c761735c">00085</a> <span class="keywordtype">void</span> <a class="code" href="classflopc_1_1MP__domain.html#a26cc5e371872b6d6f0a0778083a81e68" title="Special conditional operation on the domain.">MP_domain::forall</a>(<span class="keyword">const</span> <a class="code" href="classflopc_1_1Functor.html" title="Function object. Often used.">Functor</a>& op)<span class="keyword"> const </span>{
<a name="l00086"></a>00086 <a class="code" href="classflopc_1_1MP__domain.html#a26cc5e371872b6d6f0a0778083a81e68" title="Special conditional operation on the domain.">forall</a>(&op);
<a name="l00087"></a>00087 }
<a name="l00088"></a><a class="code" href="classflopc_1_1MP__domain.html#a26cc5e371872b6d6f0a0778083a81e68">00088</a> <span class="keywordtype">void</span> <a class="code" href="classflopc_1_1MP__domain.html#a26cc5e371872b6d6f0a0778083a81e68" title="Special conditional operation on the domain.">MP_domain::forall</a>(<span class="keyword">const</span> <a class="code" href="classflopc_1_1Functor.html" title="Function object. Often used.">Functor</a>* op)<span class="keyword"> const </span>{
<a name="l00089"></a>00089 <span class="keywordflow">if</span> (<a class="code" href="classflopc_1_1MP__domain.html#a3c9e97a6a99898f1c1956d3f2dd2e2a4">condition</a>.size()>0) {
<a name="l00090"></a>00090 <a class="code" href="classflopc_1_1MP__domain.html#a69dad04784185a3d85db5fbab4473405">last</a>->donext = <span class="keyword">new</span> <a class="code" href="classflopc_1_1Functor__conditional.html">Functor_conditional</a>(op,<a class="code" href="classflopc_1_1MP__domain.html#a3c9e97a6a99898f1c1956d3f2dd2e2a4">condition</a>);
<a name="l00091"></a>00091 } <span class="keywordflow">else</span> {
<a name="l00092"></a>00092 <a class="code" href="classflopc_1_1MP__domain.html#a69dad04784185a3d85db5fbab4473405">last</a>->donext = op;
<a name="l00093"></a>00093 }
<a name="l00094"></a>00094 <a class="code" href="classflopc_1_1Handle.html#a65200b72cce7c372074d1d194315ca2d">operator-></a>()->operator()();
<a name="l00095"></a>00095 }
<a name="l00096"></a>00096
<a name="l00097"></a><a class="code" href="classflopc_1_1MP__domain__set.html#ac33a7ad2fa1569541c97a9d25ea421de">00097</a> <span class="keyword">const</span> <a class="code" href="classflopc_1_1MP__set__base.html" title="Internal representation of a "set".">MP_set_base</a>* <a class="code" href="classflopc_1_1MP__domain__set.html#ac33a7ad2fa1569541c97a9d25ea421de" title="Getter for the set used in construction.">MP_domain_set::getSet</a>()<span class="keyword"> const </span>{
<a name="l00098"></a>00098 <span class="keywordflow">return</span> <a class="code" href="classflopc_1_1MP__domain__set.html#a2cedc3c04cf0169860057dd935609ef3">S</a>;
<a name="l00099"></a>00099 }
<a name="l00100"></a>00100
<a name="l00101"></a><a class="code" href="classflopc_1_1MP__domain.html#aac1027f89aed56d5e16e1e4460a5cc2d">00101</a> <span class="keywordtype">size_t</span> <a class="code" href="classflopc_1_1MP__domain.html#aac1027f89aed56d5e16e1e4460a5cc2d" title="returns number of elements in the domain.">MP_domain::size</a>()<span class="keyword"> const </span>{
<a name="l00102"></a>00102 <span class="keywordflow">return</span> <a class="code" href="classflopc_1_1Handle.html#a65200b72cce7c372074d1d194315ca2d">operator-></a>()-><a class="code" href="classflopc_1_1MP__domain__base.html#a5cbbf8bcb3915c24425825b067f332f9">getSet</a>()-><a class="code" href="classflopc_1_1MP__set__base.html#a452804fd87bd5b35988e3e53760e7739">size</a>();
<a name="l00103"></a>00103 }
<a name="l00104"></a>00104
<a name="l00105"></a><a class="code" href="classflopc_1_1MP__domain__set.html#a191bce56fa3ae6922c61381f566d955c">00105</a> <span class="keywordtype">int</span> <a class="code" href="classflopc_1_1MP__domain__set.html#a191bce56fa3ae6922c61381f566d955c">MP_domain_set::evaluate</a>()<span class="keyword"> const </span>{
<a name="l00106"></a>00106 <span class="keywordflow">return</span> <a class="code" href="classflopc_1_1MP__domain__set.html#afc507212df9a9781fada1ec11065871c">I</a>-><a class="code" href="classflopc_1_1MP__index.html#ac71f0e7f5f88f69725b328ef64069f84">evaluate</a>();
<a name="l00107"></a>00107 }
<a name="l00108"></a>00108
<a name="l00109"></a><a class="code" href="classflopc_1_1MP__domain__set.html#adb02132a449810c3d31ad9d896da46cf">00109</a> <span class="keywordtype">void</span> <a class="code" href="classflopc_1_1MP__domain__set.html#adb02132a449810c3d31ad9d896da46cf">MP_domain_set::operator()</a>()<span class="keyword"> const </span>{
<a name="l00110"></a>00110 <span class="keywordflow">if</span> (<a class="code" href="classflopc_1_1MP__domain__set.html#afc507212df9a9781fada1ec11065871c">I</a>-><a class="code" href="classflopc_1_1MP__index.html#a1c1f3888b3bb3973a178cbcc2192e48e">isInstantiated</a>() == <span class="keyword">true</span>) {
<a name="l00111"></a>00111 (*donext)();
<a name="l00112"></a>00112 } <span class="keywordflow">else</span> {
<a name="l00113"></a>00113 <a class="code" href="classflopc_1_1MP__domain__set.html#afc507212df9a9781fada1ec11065871c">I</a>-><a class="code" href="classflopc_1_1MP__index.html#a5c1c39bab89ff02308e42a4f0b6418e3">instantiate</a>();
<a name="l00114"></a>00114 <span class="keywordflow">for</span> (<span class="keywordtype">int</span> k=0; k<<a class="code" href="classflopc_1_1MP__domain__set.html#a2cedc3c04cf0169860057dd935609ef3">S</a>-><a class="code" href="classflopc_1_1MP__set.html#aa4d9b1ab91d3194fb21103c61510c9d5" title="getter for the cardinality of this MP_set.">size</a>(); k++) {
<a name="l00115"></a>00115 <a class="code" href="classflopc_1_1MP__domain__set.html#afc507212df9a9781fada1ec11065871c">I</a>-><a class="code" href="classflopc_1_1MP__index.html#a4f9a261ca11e672396f80399158e6952">assign</a>(k);
<a name="l00116"></a>00116 (*donext)();
<a name="l00117"></a>00117 }
<a name="l00118"></a>00118 <a class="code" href="classflopc_1_1MP__domain__set.html#afc507212df9a9781fada1ec11065871c">I</a>-><a class="code" href="classflopc_1_1MP__index.html#a4f9a261ca11e672396f80399158e6952">assign</a>(0);
<a name="l00119"></a>00119 <a class="code" href="classflopc_1_1MP__domain__set.html#afc507212df9a9781fada1ec11065871c">I</a>-><a class="code" href="classflopc_1_1MP__index.html#ae37d00ea1e0d5876237d79dccdd4a75b">unInstantiate</a>();
<a name="l00120"></a>00120 }
<a name="l00121"></a>00121 }
<a name="l00122"></a>00122
<a name="l00123"></a><a class="code" href="classflopc_1_1MP__domain__set.html#a21a1e99553a3c27e5f340248751f7e05">00123</a> <a class="code" href="classflopc_1_1MP__index.html" title="Representation of an index.This is one of the main public interface classes. It is used to iterate th...">MP_index</a>* <a class="code" href="classflopc_1_1MP__domain__set.html#a21a1e99553a3c27e5f340248751f7e05" title="Getter for the index used in construction.">MP_domain_set::getIndex</a>()<span class="keyword"> const </span>{
<a name="l00124"></a>00124 <span class="keywordflow">return</span> <a class="code" href="classflopc_1_1MP__domain__set.html#afc507212df9a9781fada1ec11065871c">I</a>;
<a name="l00125"></a>00125 }
<a name="l00126"></a>00126
<a name="l00127"></a>00127
<a name="l00128"></a><a class="code" href="namespaceflopc.html#a87a2b671c8aeae0cfd81fa8a523d69e7">00128</a> <a class="code" href="classflopc_1_1MP__domain.html" title="Range over which some other constuct is defined.This is one of the main public interface classes...">flopc::MP_domain</a> <a class="code" href="group__PublicInterface.html#ga4931b4395e3be83f70d10c2a7f0af2c8" title="Returns the product of two constants.This is used in the formation of an expression.">flopc::operator*</a>(<span class="keyword">const</span> <a class="code" href="classflopc_1_1MP__domain.html" title="Range over which some other constuct is defined.This is one of the main public interface classes...">flopc::MP_domain</a>& a, <span class="keyword">const</span> <a class="code" href="classflopc_1_1MP__domain.html" title="Range over which some other constuct is defined.This is one of the main public interface classes...">flopc::MP_domain</a>& b) {
<a name="l00129"></a>00129 <span class="keywordflow">if</span> (a.operator->() == <a class="code" href="classflopc_1_1MP__domain.html#acd2840f77274ad4bbdd481ce3223f4d0" title="returns a reference to the "empty" set.">MP_domain::getEmpty</a>().operator->()) {
<a name="l00130"></a>00130 <span class="keywordflow">return</span> b;
<a name="l00131"></a>00131 } <span class="keywordflow">else</span> <span class="keywordflow">if</span> (b.operator->() == <a class="code" href="classflopc_1_1MP__domain.html#acd2840f77274ad4bbdd481ce3223f4d0" title="returns a reference to the "empty" set.">MP_domain::getEmpty</a>().operator->()) {
<a name="l00132"></a>00132 <span class="keywordflow">return</span> a;
<a name="l00133"></a>00133 } <span class="keywordflow">else</span> {
<a name="l00134"></a>00134 <a class="code" href="classflopc_1_1MP__domain.html" title="Range over which some other constuct is defined.This is one of the main public interface classes...">MP_domain</a> retval = a;
<a name="l00135"></a>00135 retval.<a class="code" href="classflopc_1_1MP__domain.html#a69dad04784185a3d85db5fbab4473405">last</a>->donext = b.operator->();
<a name="l00136"></a>00136 <span class="keyword">const_cast<</span><a class="code" href="classflopc_1_1MP__domain.html" title="Range over which some other constuct is defined.This is one of the main public interface classes...">MP_domain</a>&<span class="keyword">></span>(b).increment();
<a name="l00137"></a>00137 <span class="keyword">const_cast<</span><a class="code" href="classflopc_1_1MP__domain.html" title="Range over which some other constuct is defined.This is one of the main public interface classes...">MP_domain</a>&<span class="keyword">></span>(a).increment();
<a name="l00138"></a>00138 retval.<a class="code" href="classflopc_1_1MP__domain.html#a69dad04784185a3d85db5fbab4473405">last</a> = b.<a class="code" href="classflopc_1_1MP__domain.html#a69dad04784185a3d85db5fbab4473405">last</a>;
<a name="l00139"></a>00139 retval.<a class="code" href="classflopc_1_1MP__domain.html#a3c9e97a6a99898f1c1956d3f2dd2e2a4">condition</a>.insert(retval.<a class="code" href="classflopc_1_1MP__domain.html#a3c9e97a6a99898f1c1956d3f2dd2e2a4">condition</a>.end(),b.<a class="code" href="classflopc_1_1MP__domain.html#a3c9e97a6a99898f1c1956d3f2dd2e2a4">condition</a>.begin(),
<a name="l00140"></a>00140 b.<a class="code" href="classflopc_1_1MP__domain.html#a3c9e97a6a99898f1c1956d3f2dd2e2a4">condition</a>.end());
<a name="l00141"></a>00141 <span class="keywordflow">return</span> retval;
<a name="l00142"></a>00142 }
<a name="l00143"></a>00143
<a name="l00144"></a>00144 }
</pre></div></div>
</div>
<hr class="footer"/><address class="footer"><small>Generated on Tue Jun 28 2011 23:46:24 for FLOPC++ by 
<a href="http://www.doxygen.org/index.html">
<img class="footer" src="doxygen.png" alt="doxygen"/></a> 1.7.4 </small></address>
</body>
</html>
|