Fast SAT Solver (C++, GAlib)
File detail
Source code
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html><head><meta http-equiv="Content-Type" content="text/html;charset=UTF-8">
<title>Fast SAT Solver: fssIO.cpp Source File</title>
<link href="doxygen.css" rel="stylesheet" type="text/css">
<link href="tabs.css" rel="stylesheet" type="text/css">
</head><body>
<!-- Generated by Doxygen 1.5.4 -->
<div class="tabs">
<ul>
<li><a href="index.html"><span>Main Page</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>
<h1>fssIO.cpp</h1><a href="fssIO_8cpp.html">Go to the documentation of this file.</a><div class="fragment"><pre class="fragment"><a name="l00001"></a>00001 <span class="comment">/*</span>
<a name="l00002"></a>00002 <span class="comment"> * Copyright (C) 2008 Kamil Dudka <xdudka00@stud.fit.vutbr.cz></span>
<a name="l00003"></a>00003 <span class="comment"> *</span>
<a name="l00004"></a>00004 <span class="comment"> * This file is part of fss (Fast SAT Solver).</span>
<a name="l00005"></a>00005 <span class="comment"> *</span>
<a name="l00006"></a>00006 <span class="comment"> * fss is free software: you can redistribute it and/or modify</span>
<a name="l00007"></a>00007 <span class="comment"> * it under the terms of the GNU General Public License as published by</span>
<a name="l00008"></a>00008 <span class="comment"> * the Free Software Foundation, either version 3 of the License, or</span>
<a name="l00009"></a>00009 <span class="comment"> * any later version.</span>
<a name="l00010"></a>00010 <span class="comment"> *</span>
<a name="l00011"></a>00011 <span class="comment"> * fss is distributed in the hope that it will be useful,</span>
<a name="l00012"></a>00012 <span class="comment"> * but WITHOUT ANY WARRANTY; without even the implied warranty of</span>
<a name="l00013"></a>00013 <span class="comment"> * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the</span>
<a name="l00014"></a>00014 <span class="comment"> * GNU General Public License for more details.</span>
<a name="l00015"></a>00015 <span class="comment"> *</span>
<a name="l00016"></a>00016 <span class="comment"> * You should have received a copy of the GNU General Public License</span>
<a name="l00017"></a>00017 <span class="comment"> * along with fss. If not, see <http://www.gnu.org/licenses/>.</span>
<a name="l00018"></a>00018 <span class="comment"> */</span>
<a name="l00019"></a>00019
<a name="l00020"></a>00020 <span class="preprocessor">#include <string></span>
<a name="l00021"></a>00021 <span class="preprocessor">#include <iomanip></span>
<a name="l00022"></a>00022 <span class="preprocessor">#include "<a class="code" href="fssIO_8h.html" title="I/O module.">fssIO.h</a>"</span>
<a name="l00023"></a>00023
<a name="l00024"></a>00024 <span class="keyword">using</span> std::string;
<a name="l00025"></a>00025
<a name="l00026"></a>00026 <span class="keyword">namespace </span>FastSatSolver {
<a name="l00027"></a>00027
<a name="l00028"></a>00028 <span class="comment">// ////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////</span>
<a name="l00029"></a>00029 <span class="comment">// GenericException implementation</span>
<a name="l00030"></a><a class="code" href="classFastSatSolver_1_1GenericException.html#e96bc29d16844e4f75332be5565612da">00030</a> <a class="code" href="classFastSatSolver_1_1GenericException.html#e96bc29d16844e4f75332be5565612da">GenericException::GenericException</a>(std::string text):
<a name="l00031"></a>00031 text_(text)
<a name="l00032"></a>00032 {
<a name="l00033"></a>00033 }
<a name="l00034"></a><a class="code" href="classFastSatSolver_1_1GenericException.html#787a8b4145449843adff9e020d9a4ffb">00034</a> <span class="keywordtype">string</span> GenericException::getText() {
<a name="l00035"></a>00035 <span class="keywordflow">return</span> text_;
<a name="l00036"></a>00036 }
<a name="l00037"></a>00037
<a name="l00038"></a><a class="code" href="namespaceFastSatSolver_1_1StreamDecorator.html">00038</a> <span class="keyword">namespace </span>StreamDecorator {
<a name="l00039"></a>00039 <span class="comment">// //////////////////////////////////////////////////////////////////////////////////////////////////////////////////////</span>
<a name="l00040"></a>00040 <span class="comment">// FixedFloat implementation</span>
<a name="l00041"></a><a class="code" href="structFastSatSolver_1_1StreamDecorator_1_1FixedFloat_1_1Private.html">00041</a> <span class="keyword">struct </span><a class="code" href="structFastSatSolver_1_1StreamDecorator_1_1FixedFloat_1_1Private.html">FixedFloat::Private</a> {
<a name="l00042"></a><a class="code" href="structFastSatSolver_1_1StreamDecorator_1_1FixedFloat_1_1Private.html#2474a5474cbff19523a51eb1de01cda4">00042</a> <span class="keywordtype">int</span> width;
<a name="l00043"></a><a class="code" href="structFastSatSolver_1_1StreamDecorator_1_1FixedFloat_1_1Private.html#a95455ed52a8459fad69509a4a0411b5">00043</a> <span class="keywordtype">int</span> precision;
<a name="l00044"></a>00044 };
<a name="l00045"></a><a class="code" href="classFastSatSolver_1_1StreamDecorator_1_1FixedFloat.html#c107cf92898cb0f3c2e6d70f50ef9978">00045</a> FixedFloat::FixedFloat(<span class="keywordtype">int</span> integral, <span class="keywordtype">int</span> decimal):
<a name="l00046"></a>00046 d(new <a class="code" href="structFastSatSolver_1_1StreamDecorator_1_1FixedFloat_1_1Private.html">Private</a>)
<a name="l00047"></a>00047 {
<a name="l00048"></a>00048 d-><a class="code" href="structFastSatSolver_1_1StreamDecorator_1_1FixedFloat_1_1Private.html#2474a5474cbff19523a51eb1de01cda4">width</a> = integral+decimal+1;
<a name="l00049"></a>00049 d-><a class="code" href="structFastSatSolver_1_1StreamDecorator_1_1FixedFloat_1_1Private.html#a95455ed52a8459fad69509a4a0411b5">precision</a> = decimal;
<a name="l00050"></a>00050 }
<a name="l00051"></a><a class="code" href="classFastSatSolver_1_1StreamDecorator_1_1FixedFloat.html#57fcacc479c2091ce92da441b6b5d47a">00051</a> FixedFloat::~FixedFloat() {
<a name="l00052"></a>00052 <span class="keyword">delete</span> d;
<a name="l00053"></a>00053 }
<a name="l00054"></a><a class="code" href="namespaceFastSatSolver_1_1StreamDecorator.html#6efb3e1347278726e65bb1c54ff0f372">00054</a> std::ostream& <a class="code" href="classFastSatSolver_1_1StreamDecorator_1_1FixedFloat.html#0c2c51bf05815b9de5fa1ac961faa20d" title="This behaves as standard stream manipulators.">operator<< </a>(std::ostream &stream, <span class="keyword">const</span> <a class="code" href="classFastSatSolver_1_1StreamDecorator_1_1FixedFloat.html" title="High-level stream manipulator for fixed floats.">FixedFloat</a> &manip) {
<a name="l00055"></a>00055 <span class="keywordflow">return</span> stream
<a name="l00056"></a>00056 << std::fixed
<a name="l00057"></a>00057 << std::setw(manip.<a class="code" href="classFastSatSolver_1_1StreamDecorator_1_1FixedFloat.html#adfdeacff614bdaf0342eee27e5bb32f">d</a>-><a class="code" href="structFastSatSolver_1_1StreamDecorator_1_1FixedFloat_1_1Private.html#2474a5474cbff19523a51eb1de01cda4">width</a>)
<a name="l00058"></a>00058 << std::setprecision(manip.<a class="code" href="classFastSatSolver_1_1StreamDecorator_1_1FixedFloat.html#adfdeacff614bdaf0342eee27e5bb32f">d</a>-><a class="code" href="structFastSatSolver_1_1StreamDecorator_1_1FixedFloat_1_1Private.html#a95455ed52a8459fad69509a4a0411b5">precision</a>);
<a name="l00059"></a>00059 }
<a name="l00060"></a>00060
<a name="l00061"></a>00061 <span class="comment">// //////////////////////////////////////////////////////////////////////////////////////////////////////////////////////</span>
<a name="l00062"></a>00062 <span class="comment">// Color implementation</span>
<a name="l00063"></a>00063 <span class="keywordtype">bool</span> Color::useColors = <span class="keyword">false</span>;
<a name="l00064"></a><a class="code" href="structFastSatSolver_1_1StreamDecorator_1_1Color_1_1Private.html">00064</a> <span class="keyword">struct </span><a class="code" href="structFastSatSolver_1_1StreamDecorator_1_1Color_1_1Private.html">Color::Private</a> {
<a name="l00065"></a><a class="code" href="structFastSatSolver_1_1StreamDecorator_1_1Color_1_1Private.html#3a9842506ad5adc25053a968c578a780">00065</a> <a class="code" href="group__fssIO.html#gc31db05c6cb5891c704eae374f6926a8" title="Console ouput colors enumeration. Zero means default color.">EColor</a> color;
<a name="l00066"></a>00066 };
<a name="l00067"></a><a class="code" href="classFastSatSolver_1_1StreamDecorator_1_1Color.html#ad831a83ccd74cdc1781a68b1a20ae2d">00067</a> <a class="code" href="classFastSatSolver_1_1StreamDecorator_1_1Color.html#ad831a83ccd74cdc1781a68b1a20ae2d">Color::Color</a>(<a class="code" href="group__fssIO.html#gc31db05c6cb5891c704eae374f6926a8" title="Console ouput colors enumeration. Zero means default color.">EColor</a> color):
<a name="l00068"></a>00068 d(new <a class="code" href="structFastSatSolver_1_1StreamDecorator_1_1Color_1_1Private.html">Private</a>)
<a name="l00069"></a>00069 {
<a name="l00070"></a>00070 d-><a class="code" href="structFastSatSolver_1_1StreamDecorator_1_1Color_1_1Private.html#3a9842506ad5adc25053a968c578a780">color</a> = color;
<a name="l00071"></a>00071 }
<a name="l00072"></a><a class="code" href="classFastSatSolver_1_1StreamDecorator_1_1Color.html#353c460813c6e25aaa9f0f67d31c4526">00072</a> <a class="code" href="classFastSatSolver_1_1StreamDecorator_1_1Color.html#ad831a83ccd74cdc1781a68b1a20ae2d">Color::Color</a>(<span class="keyword">const</span> <a class="code" href="classFastSatSolver_1_1StreamDecorator_1_1Color.html" title="Console output color manipulator.">Color</a> &cObj):
<a name="l00073"></a>00073 d(new <a class="code" href="structFastSatSolver_1_1StreamDecorator_1_1Color_1_1Private.html">Private</a>)
<a name="l00074"></a>00074 {
<a name="l00075"></a>00075 d-><a class="code" href="structFastSatSolver_1_1StreamDecorator_1_1Color_1_1Private.html#3a9842506ad5adc25053a968c578a780">color</a> = cObj.<a class="code" href="classFastSatSolver_1_1StreamDecorator_1_1Color.html#adfdeacff614bdaf0342eee27e5bb32f">d</a>-><a class="code" href="structFastSatSolver_1_1StreamDecorator_1_1Color_1_1Private.html#3a9842506ad5adc25053a968c578a780">color</a>;
<a name="l00076"></a>00076 }
<a name="l00077"></a><a class="code" href="classFastSatSolver_1_1StreamDecorator_1_1Color.html#87ba96c77c896b3c568889338bf92444">00077</a> <a class="code" href="classFastSatSolver_1_1StreamDecorator_1_1Color.html#87ba96c77c896b3c568889338bf92444">Color::~Color</a>() {
<a name="l00078"></a>00078 <span class="keyword">delete</span> d;
<a name="l00079"></a>00079 }
<a name="l00080"></a><a class="code" href="classFastSatSolver_1_1StreamDecorator_1_1Color.html#1adc5d528f0f1f25c32098debae06212">00080</a> <span class="keywordtype">void</span> <a class="code" href="classFastSatSolver_1_1StreamDecorator_1_1Color.html#1adc5d528f0f1f25c32098debae06212" title="Enable/disable color ouput glaobally.">Color::enable</a>(<span class="keywordtype">bool</span> b) {
<a name="l00081"></a>00081 Color::useColors = b;
<a name="l00082"></a>00082 }
<a name="l00083"></a><a class="code" href="classFastSatSolver_1_1StreamDecorator_1_1Color.html#56722b6f1c22da04885bc9853148bb71">00083</a> <span class="keywordtype">bool</span> <a class="code" href="classFastSatSolver_1_1StreamDecorator_1_1Color.html#56722b6f1c22da04885bc9853148bb71">Color::isEnabled</a>() {
<a name="l00084"></a>00084 <span class="keywordflow">return</span> Color::useColors;
<a name="l00085"></a>00085 }
<a name="l00086"></a><a class="code" href="namespaceFastSatSolver_1_1StreamDecorator.html#57d480c811a25b295c13cf081350602b">00086</a> std::ostream& <a class="code" href="classFastSatSolver_1_1StreamDecorator_1_1Color.html#bb88b174845d97427d946249ce75848f" title="This behaves as standard stream manipulators.">operator<< </a>(std::ostream &stream, <span class="keyword">const</span> <a class="code" href="classFastSatSolver_1_1StreamDecorator_1_1Color.html" title="Console output color manipulator.">Color</a> &cObj) {
<a name="l00087"></a>00087 <span class="keywordflow">if</span> (Color::useColors) {
<a name="l00088"></a>00088 <span class="keyword">static</span> <span class="keyword">const</span> <span class="keywordtype">char</span> ESC = <span class="charliteral">'\033'</span>;
<a name="l00089"></a>00089 stream << ESC;
<a name="l00090"></a>00090 <span class="keywordflow">switch</span> (cObj.<a class="code" href="classFastSatSolver_1_1StreamDecorator_1_1Color.html#adfdeacff614bdaf0342eee27e5bb32f">d</a>-><a class="code" href="structFastSatSolver_1_1StreamDecorator_1_1Color_1_1Private.html#3a9842506ad5adc25053a968c578a780">color</a>) {
<a name="l00091"></a>00091 <span class="keywordflow">case</span> <a class="code" href="group__fssIO.html#ggc31db05c6cb5891c704eae374f6926a8867aff365e4363e987735e21638688ff">C_NO_COLOR</a>: stream << <span class="stringliteral">"[0m"</span>; <span class="keywordflow">break</span>;
<a name="l00092"></a>00092 <span class="keywordflow">case</span> <a class="code" href="group__fssIO.html#ggc31db05c6cb5891c704eae374f6926a874271441718d99651a8ef84ce41deb89">C_BLUE</a>: stream << <span class="stringliteral">"[0;34m"</span>; <span class="keywordflow">break</span>;
<a name="l00093"></a>00093 <span class="keywordflow">case</span> <a class="code" href="group__fssIO.html#ggc31db05c6cb5891c704eae374f6926a83480f1b50ebb454abb68e97ef2fc7035">C_GREEN</a>: stream << <span class="stringliteral">"[0;32m"</span>; <span class="keywordflow">break</span>;
<a name="l00094"></a>00094 <span class="keywordflow">case</span> <a class="code" href="group__fssIO.html#ggc31db05c6cb5891c704eae374f6926a8c1114f9c564ec65461d5c72c16cbc397">C_CYAN</a>: stream << <span class="stringliteral">"[0;36m"</span>; <span class="keywordflow">break</span>;
<a name="l00095"></a>00095 <span class="keywordflow">case</span> <a class="code" href="group__fssIO.html#ggc31db05c6cb5891c704eae374f6926a87788537081e1a90985b102bdefa91992">C_RED</a>: stream << <span class="stringliteral">"[0;31m"</span>; <span class="keywordflow">break</span>;
<a name="l00096"></a>00096 <span class="keywordflow">case</span> <a class="code" href="group__fssIO.html#ggc31db05c6cb5891c704eae374f6926a847d1201016334a71f5539f40d7cff742">C_PURPLE</a>: stream << <span class="stringliteral">"[0;35m"</span>; <span class="keywordflow">break</span>;
<a name="l00097"></a>00097 <span class="keywordflow">case</span> <a class="code" href="group__fssIO.html#ggc31db05c6cb5891c704eae374f6926a85356a1523faac7ca6377e5f466384aab">C_BROWN</a>: stream << <span class="stringliteral">"[0;33m"</span>; <span class="keywordflow">break</span>;
<a name="l00098"></a>00098 <span class="keywordflow">case</span> <a class="code" href="group__fssIO.html#ggc31db05c6cb5891c704eae374f6926a8e1c164abe97ca5cd063cad0a33506481">C_LIGHT_GRAY</a>: stream << <span class="stringliteral">"[0;37m"</span>; <span class="keywordflow">break</span>;
<a name="l00099"></a>00099 <span class="keywordflow">case</span> <a class="code" href="group__fssIO.html#ggc31db05c6cb5891c704eae374f6926a89ead34dfb566e79a6014eae6911fcd25">C_DARK_GRAY</a>: stream << <span class="stringliteral">"[1;30m"</span>; <span class="keywordflow">break</span>;
<a name="l00100"></a>00100 <span class="keywordflow">case</span> <a class="code" href="group__fssIO.html#ggc31db05c6cb5891c704eae374f6926a8d627db49c0f44dcd2a17519757cabc6e">C_LIGHT_BLUE</a>: stream << <span class="stringliteral">"[1;34m"</span>; <span class="keywordflow">break</span>;
<a name="l00101"></a>00101 <span class="keywordflow">case</span> <a class="code" href="group__fssIO.html#ggc31db05c6cb5891c704eae374f6926a8fc3053732b6f6c732f5c14c1bd272a83">C_LIGHT_GREEN</a>: stream << <span class="stringliteral">"[1;32m"</span>; <span class="keywordflow">break</span>;
<a name="l00102"></a>00102 <span class="keywordflow">case</span> <a class="code" href="group__fssIO.html#ggc31db05c6cb5891c704eae374f6926a89229e25bd31e5a4083b92b2b2027c143">C_LIGHT_CYAN</a>: stream << <span class="stringliteral">"[1;36m"</span>; <span class="keywordflow">break</span>;
<a name="l00103"></a>00103 <span class="keywordflow">case</span> <a class="code" href="group__fssIO.html#ggc31db05c6cb5891c704eae374f6926a807e7345a77ef982f5566bd016f36566e">C_LIGHT_RED</a>: stream << <span class="stringliteral">"[1;31m"</span>; <span class="keywordflow">break</span>;
<a name="l00104"></a>00104 <span class="keywordflow">case</span> <a class="code" href="group__fssIO.html#ggc31db05c6cb5891c704eae374f6926a8842bccb61643ddb9c3696fc5686b383a">C_LIGHT_PURPLE</a>: stream << <span class="stringliteral">"[1;35m"</span>; <span class="keywordflow">break</span>;
<a name="l00105"></a>00105 <span class="keywordflow">case</span> <a class="code" href="group__fssIO.html#ggc31db05c6cb5891c704eae374f6926a816c62555d51f004c61508d482353064d">C_YELLOW</a>: stream << <span class="stringliteral">"[1;33m"</span>; <span class="keywordflow">break</span>;
<a name="l00106"></a>00106 <span class="keywordflow">case</span> <a class="code" href="group__fssIO.html#ggc31db05c6cb5891c704eae374f6926a8e1cdd4f64f0458efe9641f1eaca05218">C_WHITE</a>: stream << <span class="stringliteral">"[1;37m"</span>; <span class="keywordflow">break</span>;
<a name="l00107"></a>00107 }
<a name="l00108"></a>00108 }
<a name="l00109"></a>00109 <span class="keywordflow">return</span> stream;
<a name="l00110"></a>00110 }
<a name="l00111"></a>00111 } <span class="comment">// namespace StreamDecorator</span>
<a name="l00112"></a>00112
<a name="l00113"></a>00113 } <span class="comment">// namespace FastSatSolver</span>
</pre></div><hr size="1"><address style="text-align: right;"><small>Generated on Wed Nov 5 22:30:21 2008 for Fast SAT Solver by
<a href="http://www.doxygen.org/index.html">
<img src="doxygen.png" alt="doxygen" align="middle" border="0"></a> 1.5.4 </small></address>
</body>
</html>
Back to main page
fssIO_8cpp-source.html [Download]