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: BlindSatSolver::Private Struct Reference</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 class="current"><a href="annotated.html"><span>Classes</span></a></li>
<li><a href="files.html"><span>Files</span></a></li>
</ul>
</div>
<div class="tabs">
<ul>
<li><a href="annotated.html"><span>Class List</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="nav">
<a class="el" href="namespaceFastSatSolver.html">FastSatSolver</a>::<a class="el" href="classFastSatSolver_1_1BlindSatSolver.html">BlindSatSolver</a>::<a class="el" href="structFastSatSolver_1_1BlindSatSolver_1_1Private.html">Private</a></div>
<h1>BlindSatSolver::Private Struct Reference</h1><!-- doxytag: class="FastSatSolver::BlindSatSolver::Private" --><div class="dynheader">
Collaboration diagram for BlindSatSolver::Private:</div>
<div class="dynsection">
<p><center><img src="structFastSatSolver_1_1BlindSatSolver_1_1Private__coll__graph.png" border="0" usemap="#BlindSatSolver_1_1Private__coll__map" alt="Collaboration graph"></center>
<map name="BlindSatSolver_1_1Private__coll__map">
<area shape="rect" href="classFastSatSolver_1_1SatItemVector.html" title="Linear storage container for ISatItem objects." alt="" coords="52,277,169,304"><area shape="rect" href="structFastSatSolver_1_1SatItemVector_1_1Private.html" title="Private" alt="" coords="76,187,145,213"><area shape="rect" href="classFastSatSolver_1_1SatProblem.html" title="SAT Problem module's facade." alt="" coords="193,277,292,304"><area shape="rect" href="structFastSatSolver_1_1SatProblem_1_1Private.html" title="Private" alt="" coords="208,187,277,213"><area shape="rect" href="classFastSatSolver_1_1FormulaContainer.html" title="Container for evaluable formulas." alt="" coords="5,96,147,123"><area shape="rect" href="structFastSatSolver_1_1FormulaContainer_1_1Private.html" title="Private" alt="" coords="41,5,111,32"><area shape="rect" href="classFastSatSolver_1_1VariableContainer.html" title="Container for variables names." alt="" coords="171,96,315,123"><area shape="rect" href="structFastSatSolver_1_1VariableContainer_1_1Private.html" title="Private" alt="" coords="208,5,277,32"></map>
<center><font size="2">[<a href="graph_legend.html">legend</a>]</font></center></div>
<p>
<a href="structFastSatSolver_1_1BlindSatSolver_1_1Private-members.html">List of all members.</a><hr><a name="_details"></a><h2>Detailed Description</h2>
<p>Definition at line <a class="el" href="BlindSatSolver_8cpp-source.html#l00051">51</a> of file <a class="el" href="BlindSatSolver_8cpp-source.html">BlindSatSolver.cpp</a>.</p>
<table border="0" cellpadding="0" cellspacing="0">
<tr><td></td></tr>
<tr><td colspan="2"><br><h2>Public Member Functions</h2></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">void </td><td class="memItemRight" valign="bottom"><a class="el" href="structFastSatSolver_1_1BlindSatSolver_1_1Private.html#02fd73d861ef2e4aabb38c0c9ff82947">init</a> ()</td></tr>
<tr><td colspan="2"><br><h2>Public Attributes</h2></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classFastSatSolver_1_1SatProblem.html">SatProblem</a> * </td><td class="memItemRight" valign="bottom"><a class="el" href="structFastSatSolver_1_1BlindSatSolver_1_1Private.html#74a878161cb263331f8413b1502a482a">problem</a></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">int </td><td class="memItemRight" valign="bottom"><a class="el" href="structFastSatSolver_1_1BlindSatSolver_1_1Private.html#b97109ec4907d851efd602b621a30a3e">stepWidth</a></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">long </td><td class="memItemRight" valign="bottom"><a class="el" href="structFastSatSolver_1_1BlindSatSolver_1_1Private.html#c0057b861a6148690548c9581057adfa">end</a></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">long </td><td class="memItemRight" valign="bottom"><a class="el" href="structFastSatSolver_1_1BlindSatSolver_1_1Private.html#67fec00dfad51ea05ccda5e0141a5169">current</a></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">float </td><td class="memItemRight" valign="bottom"><a class="el" href="structFastSatSolver_1_1BlindSatSolver_1_1Private.html#1bc226ef66470ef381678531699b15e0">minFitness</a></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">float </td><td class="memItemRight" valign="bottom"><a class="el" href="structFastSatSolver_1_1BlindSatSolver_1_1Private.html#c1dfa1e4f4ce3522765951e4bb1c8902">maxFitness</a></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top">double </td><td class="memItemRight" valign="bottom"><a class="el" href="structFastSatSolver_1_1BlindSatSolver_1_1Private.html#a7bea5fd6643ecfff2f69e2165a5720d">sumFitness</a></td></tr>
<tr><td class="memItemLeft" nowrap align="right" valign="top"><a class="el" href="classFastSatSolver_1_1SatItemVector.html">SatItemVector</a> </td><td class="memItemRight" valign="bottom"><a class="el" href="structFastSatSolver_1_1BlindSatSolver_1_1Private.html#58655307c8ff9e51b867abe16f2824d5">resultSet</a></td></tr>
</table>
<hr><h2>Member Function Documentation</h2>
<a class="anchor" name="02fd73d861ef2e4aabb38c0c9ff82947"></a><!-- doxytag: member="FastSatSolver::BlindSatSolver::Private::init" ref="02fd73d861ef2e4aabb38c0c9ff82947" args="()" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">void init </td>
<td>(</td>
<td class="paramname"> </td>
<td> ) </td>
<td width="100%"><code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
<p>Definition at line <a class="el" href="BlindSatSolver_8cpp-source.html#l00061">61</a> of file <a class="el" href="BlindSatSolver_8cpp-source.html">BlindSatSolver.cpp</a>.</p>
<p>Referenced by <a class="el" href="BlindSatSolver_8cpp-source.html#l00068">BlindSatSolver::BlindSatSolver()</a>, and <a class="el" href="BlindSatSolver_8cpp-source.html#l00103">BlindSatSolver::initialize()</a>.</p>
</div>
</div><p>
<hr><h2>Member Data Documentation</h2>
<a class="anchor" name="74a878161cb263331f8413b1502a482a"></a><!-- doxytag: member="FastSatSolver::BlindSatSolver::Private::problem" ref="74a878161cb263331f8413b1502a482a" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classFastSatSolver_1_1SatProblem.html">SatProblem</a>* <a class="el" href="structFastSatSolver_1_1BlindSatSolver_1_1Private.html#74a878161cb263331f8413b1502a482a">problem</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
<p>Definition at line <a class="el" href="BlindSatSolver_8cpp-source.html#l00052">52</a> of file <a class="el" href="BlindSatSolver_8cpp-source.html">BlindSatSolver.cpp</a>.</p>
<p>Referenced by <a class="el" href="BlindSatSolver_8cpp-source.html#l00068">BlindSatSolver::BlindSatSolver()</a>, <a class="el" href="BlindSatSolver_8cpp-source.html#l00108">BlindSatSolver::doStep()</a>, and <a class="el" href="BlindSatSolver_8cpp-source.html#l00084">BlindSatSolver::getProblem()</a>.</p>
</div>
</div><p>
<a class="anchor" name="b97109ec4907d851efd602b621a30a3e"></a><!-- doxytag: member="FastSatSolver::BlindSatSolver::Private::stepWidth" ref="b97109ec4907d851efd602b621a30a3e" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">int <a class="el" href="structFastSatSolver_1_1BlindSatSolver_1_1Private.html#b97109ec4907d851efd602b621a30a3e">stepWidth</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
<p>Definition at line <a class="el" href="BlindSatSolver_8cpp-source.html#l00053">53</a> of file <a class="el" href="BlindSatSolver_8cpp-source.html">BlindSatSolver.cpp</a>.</p>
<p>Referenced by <a class="el" href="BlindSatSolver_8cpp-source.html#l00068">BlindSatSolver::BlindSatSolver()</a>, and <a class="el" href="BlindSatSolver_8cpp-source.html#l00108">BlindSatSolver::doStep()</a>.</p>
</div>
</div><p>
<a class="anchor" name="c0057b861a6148690548c9581057adfa"></a><!-- doxytag: member="FastSatSolver::BlindSatSolver::Private::end" ref="c0057b861a6148690548c9581057adfa" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">long <a class="el" href="structFastSatSolver_1_1BlindSatSolver_1_1Private.html#c0057b861a6148690548c9581057adfa">end</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
<p>Definition at line <a class="el" href="BlindSatSolver_8cpp-source.html#l00054">54</a> of file <a class="el" href="BlindSatSolver_8cpp-source.html">BlindSatSolver.cpp</a>.</p>
<p>Referenced by <a class="el" href="BlindSatSolver_8cpp-source.html#l00068">BlindSatSolver::BlindSatSolver()</a>, and <a class="el" href="BlindSatSolver_8cpp-source.html#l00108">BlindSatSolver::doStep()</a>.</p>
</div>
</div><p>
<a class="anchor" name="67fec00dfad51ea05ccda5e0141a5169"></a><!-- doxytag: member="FastSatSolver::BlindSatSolver::Private::current" ref="67fec00dfad51ea05ccda5e0141a5169" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">long <a class="el" href="structFastSatSolver_1_1BlindSatSolver_1_1Private.html#67fec00dfad51ea05ccda5e0141a5169">current</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
<p>Definition at line <a class="el" href="BlindSatSolver_8cpp-source.html#l00055">55</a> of file <a class="el" href="BlindSatSolver_8cpp-source.html">BlindSatSolver.cpp</a>.</p>
<p>Referenced by <a class="el" href="BlindSatSolver_8cpp-source.html#l00096">BlindSatSolver::avgFitness()</a>, and <a class="el" href="BlindSatSolver_8cpp-source.html#l00108">BlindSatSolver::doStep()</a>.</p>
</div>
</div><p>
<a class="anchor" name="1bc226ef66470ef381678531699b15e0"></a><!-- doxytag: member="FastSatSolver::BlindSatSolver::Private::minFitness" ref="1bc226ef66470ef381678531699b15e0" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">float <a class="el" href="structFastSatSolver_1_1BlindSatSolver_1_1Private.html#1bc226ef66470ef381678531699b15e0">minFitness</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
<p>Definition at line <a class="el" href="BlindSatSolver_8cpp-source.html#l00056">56</a> of file <a class="el" href="BlindSatSolver_8cpp-source.html">BlindSatSolver.cpp</a>.</p>
<p>Referenced by <a class="el" href="BlindSatSolver_8cpp-source.html#l00108">BlindSatSolver::doStep()</a>, and <a class="el" href="BlindSatSolver_8cpp-source.html#l00093">BlindSatSolver::minFitness()</a>.</p>
</div>
</div><p>
<a class="anchor" name="c1dfa1e4f4ce3522765951e4bb1c8902"></a><!-- doxytag: member="FastSatSolver::BlindSatSolver::Private::maxFitness" ref="c1dfa1e4f4ce3522765951e4bb1c8902" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">float <a class="el" href="structFastSatSolver_1_1BlindSatSolver_1_1Private.html#c1dfa1e4f4ce3522765951e4bb1c8902">maxFitness</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
<p>Definition at line <a class="el" href="BlindSatSolver_8cpp-source.html#l00057">57</a> of file <a class="el" href="BlindSatSolver_8cpp-source.html">BlindSatSolver.cpp</a>.</p>
<p>Referenced by <a class="el" href="BlindSatSolver_8cpp-source.html#l00108">BlindSatSolver::doStep()</a>, and <a class="el" href="BlindSatSolver_8cpp-source.html#l00099">BlindSatSolver::maxFitness()</a>.</p>
</div>
</div><p>
<a class="anchor" name="a7bea5fd6643ecfff2f69e2165a5720d"></a><!-- doxytag: member="FastSatSolver::BlindSatSolver::Private::sumFitness" ref="a7bea5fd6643ecfff2f69e2165a5720d" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">double <a class="el" href="structFastSatSolver_1_1BlindSatSolver_1_1Private.html#a7bea5fd6643ecfff2f69e2165a5720d">sumFitness</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
<p>Definition at line <a class="el" href="BlindSatSolver_8cpp-source.html#l00058">58</a> of file <a class="el" href="BlindSatSolver_8cpp-source.html">BlindSatSolver.cpp</a>.</p>
<p>Referenced by <a class="el" href="BlindSatSolver_8cpp-source.html#l00096">BlindSatSolver::avgFitness()</a>, and <a class="el" href="BlindSatSolver_8cpp-source.html#l00108">BlindSatSolver::doStep()</a>.</p>
</div>
</div><p>
<a class="anchor" name="58655307c8ff9e51b867abe16f2824d5"></a><!-- doxytag: member="FastSatSolver::BlindSatSolver::Private::resultSet" ref="58655307c8ff9e51b867abe16f2824d5" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classFastSatSolver_1_1SatItemVector.html">SatItemVector</a> <a class="el" href="structFastSatSolver_1_1BlindSatSolver_1_1Private.html#58655307c8ff9e51b867abe16f2824d5">resultSet</a> </td>
</tr>
</table>
</div>
<div class="memdoc">
<p>
<p>Definition at line <a class="el" href="BlindSatSolver_8cpp-source.html#l00059">59</a> of file <a class="el" href="BlindSatSolver_8cpp-source.html">BlindSatSolver.cpp</a>.</p>
<p>Referenced by <a class="el" href="BlindSatSolver_8cpp-source.html#l00108">BlindSatSolver::doStep()</a>, <a class="el" href="BlindSatSolver_8cpp-source.html#l00087">BlindSatSolver::getSolutionsCount()</a>, <a class="el" href="BlindSatSolver_8cpp-source.html#l00090">BlindSatSolver::getSolutionVector()</a>, and <a class="el" href="BlindSatSolver_8cpp-source.html#l00103">BlindSatSolver::initialize()</a>.</p>
</div>
</div><p>
<hr>The documentation for this struct was generated from the following file:<ul>
<li><a class="el" href="BlindSatSolver_8cpp-source.html">BlindSatSolver.cpp</a></ul>
<hr size="1"><address style="text-align: right;"><small>Generated on Wed Nov 5 22:30:22 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
structFastSatSolver_1_1BlindSatSolver_1_1Private.html [Download]