/usr/share/doc/coinor-libflopc++-doc/html/MP__boolean_8hpp_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 | <!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_boolean.hpp 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_boolean.hpp</div> </div>
</div>
<div class="contents">
<a href="MP__boolean_8hpp.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_boolean.hpp</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">#ifndef _MP_boolean_hpp_</span>
<a name="l00010"></a>00010 <span class="preprocessor"></span><span class="preprocessor">#define _MP_boolean_hpp_</span>
<a name="l00011"></a>00011 <span class="preprocessor"></span>
<a name="l00012"></a>00012 <span class="preprocessor">#include <vector></span>
<a name="l00013"></a>00013 <span class="keyword">using</span> std::vector;
<a name="l00014"></a>00014
<a name="l00015"></a>00015 <span class="preprocessor">#include "<a class="code" href="MP__index_8hpp.html">MP_index.hpp</a>"</span>
<a name="l00016"></a>00016
<a name="l00017"></a>00017 <span class="keyword">namespace </span>flopc {
<a name="l00018"></a>00018 <span class="keyword">class </span>SUBSETREF;
<a name="l00019"></a>00019
<a name="l00021"></a><a class="code" href="classflopc_1_1Boolean__base.html">00021</a> <span class="keyword">class </span><a class="code" href="classflopc_1_1Boolean__base.html">Boolean_base</a> {
<a name="l00022"></a><a class="code" href="classflopc_1_1Boolean__base.html#aecc461f8b7cfa94e8a8e2d7e1f8b8adc">00022</a> <span class="keyword">friend</span> <span class="keyword">class </span><a class="code" href="classflopc_1_1Handle.html" title="Utility for doing reference counted pointers.">Handle</a><<a class="code" href="classflopc_1_1Boolean__base.html">Boolean_base</a>*>;
<a name="l00023"></a><a class="code" href="classflopc_1_1Boolean__base.html#af22ddd341ad461b6205c9c0a4cefaf92">00023</a> <span class="keyword">friend</span> <span class="keyword">class </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>;
<a name="l00024"></a>00024 <span class="keyword">public</span>:
<a name="l00025"></a>00025 <span class="keyword">virtual</span> <span class="keywordtype">bool</span> <a class="code" href="classflopc_1_1Boolean__base.html#a7297d07ebcc0fdb6ffe49ffc999ef379">evaluate</a>() <span class="keyword">const</span> = 0;
<a name="l00026"></a>00026 <span class="keyword">protected</span>:
<a name="l00027"></a><a class="code" href="classflopc_1_1Boolean__base.html#a757d3bb2459eff75d7f8e232ebd04695">00027</a> <a class="code" href="classflopc_1_1Boolean__base.html#a757d3bb2459eff75d7f8e232ebd04695">Boolean_base</a>() : <a class="code" href="classflopc_1_1Boolean__base.html#ae530fdffa421cfbe86b1fa4c689b245b">count</a>(0) {}
<a name="l00028"></a><a class="code" href="classflopc_1_1Boolean__base.html#a66f5553cd7d661073aa5631cd37fe806">00028</a> <span class="keyword">virtual</span> <a class="code" href="classflopc_1_1Boolean__base.html#a66f5553cd7d661073aa5631cd37fe806">~Boolean_base</a>() {}
<a name="l00029"></a><a class="code" href="classflopc_1_1Boolean__base.html#ae530fdffa421cfbe86b1fa4c689b245b">00029</a> <span class="keywordtype">int</span> <a class="code" href="classflopc_1_1Boolean__base.html#ae530fdffa421cfbe86b1fa4c689b245b">count</a>;
<a name="l00030"></a>00030 };
<a name="l00031"></a>00031
<a name="l00040"></a><a class="code" href="classflopc_1_1MP__boolean.html">00040</a> <span class="keyword">class </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> : <span class="keyword">public</span> <a class="code" href="classflopc_1_1Handle.html" title="Utility for doing reference counted pointers.">Handle</a><Boolean_base*> {
<a name="l00041"></a>00041 <span class="keyword">public</span>:
<a name="l00042"></a><a class="code" href="classflopc_1_1MP__boolean.html#adfd6c4275ae1b13e7585d871618a1428">00042</a> <a class="code" href="classflopc_1_1MP__boolean.html#adfd6c4275ae1b13e7585d871618a1428">MP_boolean</a>() : <a class="code" href="classflopc_1_1Handle.html" title="Utility for doing reference counted pointers.">Handle</a><<a class="code" href="classflopc_1_1Boolean__base.html">Boolean_base</a>*>(0) {}
<a name="l00043"></a>00043 <a class="code" href="classflopc_1_1MP__boolean.html#adfd6c4275ae1b13e7585d871618a1428">MP_boolean</a>(<span class="keywordtype">bool</span> b);
<a name="l00044"></a>00044 <a class="code" href="classflopc_1_1MP__boolean.html#adfd6c4275ae1b13e7585d871618a1428">MP_boolean</a>(<span class="keyword">const</span> <a class="code" href="classflopc_1_1Constant.html" title="Reference counted class for all "constant" types of data.">Constant</a>& c);
<a name="l00045"></a>00045 <a class="code" href="classflopc_1_1MP__boolean.html#adfd6c4275ae1b13e7585d871618a1428">MP_boolean</a>(<a class="code" href="classflopc_1_1SUBSETREF.html" title="Internal representation of a "set".">SUBSETREF</a>& c);
<a name="l00046"></a><a class="code" href="classflopc_1_1MP__boolean.html#ab863a933d59aadafbf16cebaf102d435">00046</a> <a class="code" href="classflopc_1_1MP__boolean.html#ab863a933d59aadafbf16cebaf102d435">MP_boolean</a>(<a class="code" href="classflopc_1_1Boolean__base.html">Boolean_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_1Boolean__base.html">Boolean_base</a>*>(r) {}
<a name="l00047"></a>00047 };
<a name="l00048"></a>00048
<a name="l00050"></a>00050
<a name="l00058"></a>00058 MP_boolean <a class="code" href="group__PublicInterface.html#ga01c7e7a321efdc65390249cca61675a2" title="For computing the logical negation of a booleanThis is used in the normal formation of an expression...">operator!</a>(<span class="keyword">const</span> MP_boolean& b);
<a name="l00059"></a>00059
<a name="l00068"></a>00068 MP_boolean <a class="code" href="group__PublicInterface.html#ga6a569f07ffd83973c03e552234ce666b" title="For computing the logical AND of two booleansThis is used in the normal formation of an expression...">operator&&</a>(<span class="keyword">const</span> MP_boolean& e1, <span class="keyword">const</span> MP_boolean& e2);
<a name="l00069"></a>00069
<a name="l00078"></a>00078 MP_boolean <a class="code" href="group__PublicInterface.html#gaa191926906f8f33d676fc443a844ee8d" title="For computing the logical OR of two booleansThis is used in the normal formation of an expression...">operator||</a>(<span class="keyword">const</span> MP_boolean& e1, <span class="keyword">const</span> MP_boolean& e2);
<a name="l00079"></a>00079
<a name="l00080"></a>00080 <span class="comment">// /** @brief boolean which returns true if all in domain evaluate to true.</span>
<a name="l00081"></a>00081 <span class="comment">// @ingroup PublicInterface</span>
<a name="l00082"></a>00082 <span class="comment">// This is used in the normal formation of an expression.</span>
<a name="l00083"></a>00083 <span class="comment">// @param d MP_domain to evaluate with</span>
<a name="l00084"></a>00084 <span class="comment">// @param b boolean expression to evaluate.</span>
<a name="l00085"></a>00085 <span class="comment">// @returns A boolean which evaluates to true all domain evaluations of the boolean</span>
<a name="l00086"></a>00086 <span class="comment">// evaluate to true.</span>
<a name="l00087"></a>00087 <span class="comment">// */</span>
<a name="l00088"></a>00088 <span class="comment">// MP_boolean alltrue(const MP_domain& d, const MP_boolean& b);</span>
<a name="l00089"></a>00089
<a name="l00107"></a>00107 MP_boolean <a class="code" href="group__PublicInterface.html#gaa66957dbda5f532d56674b9359de2d4e" title="boolean which returns true if all in domain evaluate to true.This is used in the normal formation of ...">operator<=</a>(<span class="keyword">const</span> MP_index_exp& e1, <span class="keyword">const</span> MP_index_exp& e2);
<a name="l00108"></a>00108
<a name="l00116"></a>00116 MP_boolean <a class="code" href="group__PublicInterface.html#gaa66957dbda5f532d56674b9359de2d4e" title="boolean which returns true if all in domain evaluate to true.This is used in the normal formation of ...">operator<=</a>(<span class="keyword">const</span> Constant& e1, <span class="keyword">const</span> Constant& e2);
<a name="l00117"></a>00117
<a name="l00127"></a>00127 MP_boolean <a class="code" href="group__PublicInterface.html#ga4b498474ce2df506535cdb708eebf9bc" title="constructs a boolean evaluator using operator overloadingThis is used in the normal formation of an e...">operator<</a>(<span class="keyword">const</span> MP_index_exp& e1, <span class="keyword">const</span> MP_index_exp& e2);
<a name="l00128"></a>00128
<a name="l00136"></a>00136 MP_boolean <a class="code" href="group__PublicInterface.html#ga4b498474ce2df506535cdb708eebf9bc" title="constructs a boolean evaluator using operator overloadingThis is used in the normal formation of an e...">operator<</a>(<span class="keyword">const</span> Constant& e1, <span class="keyword">const</span> Constant& e2);
<a name="l00137"></a>00137
<a name="l00147"></a>00147 MP_boolean <a class="code" href="group__PublicInterface.html#gad9d88c5015a3cb81164f015b3dc29d35" title="constructs a boolean evaluator using operator overloadingThis is used in the normal formation of an e...">operator>=</a>(<span class="keyword">const</span> MP_index_exp& e1, <span class="keyword">const</span> MP_index_exp& e2);
<a name="l00148"></a>00148
<a name="l00156"></a>00156 MP_boolean <a class="code" href="group__PublicInterface.html#gad9d88c5015a3cb81164f015b3dc29d35" title="constructs a boolean evaluator using operator overloadingThis is used in the normal formation of an e...">operator>=</a>(<span class="keyword">const</span> Constant& e1, <span class="keyword">const</span> Constant& e2);
<a name="l00157"></a>00157
<a name="l00167"></a>00167 MP_boolean <a class="code" href="group__PublicInterface.html#ga7431fb863b1c399d48eb6c9dad1dcdce" title="constructs a boolean evaluator using operator overloadingThis is used in the normal formation of an e...">operator></a>(<span class="keyword">const</span> MP_index_exp& e1, <span class="keyword">const</span> MP_index_exp& e2);
<a name="l00168"></a>00168
<a name="l00176"></a>00176 MP_boolean <a class="code" href="group__PublicInterface.html#ga7431fb863b1c399d48eb6c9dad1dcdce" title="constructs a boolean evaluator using operator overloadingThis is used in the normal formation of an e...">operator></a>(<span class="keyword">const</span> Constant& e1, <span class="keyword">const</span> Constant& e2);
<a name="l00177"></a>00177
<a name="l00187"></a>00187 MP_boolean <a class="code" href="group__PublicInterface.html#ga03c3c5d6f0b74f7b96dfd82e09870fab" title="constructs a boolean evaluator using operator overloadingThis is used in the normal formation of an e...">operator==</a>(<span class="keyword">const</span> MP_index_exp& e1, <span class="keyword">const</span> MP_index_exp& e2);
<a name="l00188"></a>00188
<a name="l00196"></a>00196 MP_boolean <a class="code" href="group__PublicInterface.html#ga03c3c5d6f0b74f7b96dfd82e09870fab" title="constructs a boolean evaluator using operator overloadingThis is used in the normal formation of an e...">operator==</a>(<span class="keyword">const</span> Constant& e1, <span class="keyword">const</span> Constant& e2);
<a name="l00197"></a>00197
<a name="l00207"></a>00207 MP_boolean <a class="code" href="group__PublicInterface.html#gacf26896b5778e91a4109d50a18cdedb4" title="constructs a boolean evaluator using operator overloadingThis is used in the normal formation of an e...">operator!=</a>(<span class="keyword">const</span> MP_index_exp& e1, <span class="keyword">const</span> MP_index_exp& e2);
<a name="l00208"></a>00208
<a name="l00216"></a>00216 MP_boolean <a class="code" href="group__PublicInterface.html#gacf26896b5778e91a4109d50a18cdedb4" title="constructs a boolean evaluator using operator overloadingThis is used in the normal formation of an e...">operator!=</a>(<span class="keyword">const</span> Constant& e1, <span class="keyword">const</span> Constant& e2);
<a name="l00217"></a>00217
<a name="l00218"></a>00218 } <span class="comment">// End of namespace flopc</span>
<a name="l00219"></a>00219 <span class="preprocessor">#endif</span>
</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>
|