<!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: Graphical Class Hierarchy</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 class="current"><a href="hierarchy.html"><span>Class Hierarchy</span></a></li>
<li><a href="functions.html"><span>Class Members</span></a></li>
</ul>
</div>
<h1>Fast SAT Solver Graphical Class Hierarchy</h1><a href="hierarchy.html">Go to the textual class hierarchy</a>
<p>
<table border="0" cellspacing="10" cellpadding="0">
<tr><td><img src="inherit__graph__0.png" border="0" alt="" usemap="#AbstractProcess_1_1Private_map">
<map name="AbstractProcess_1_1Private_map">
<area shape="rect" href="structFastSatSolver_1_1AbstractProcess_1_1Private.html" title="AbstractProcess::Private" alt="" coords="5,5,192,32"></map></td></tr>
<tr><td><img src="inherit__graph__1.png" border="0" alt="" usemap="#AbstractProcessWatched_1_1Private_map">
<map name="AbstractProcessWatched_1_1Private_map">
<area shape="rect" href="structFastSatSolver_1_1AbstractProcessWatched_1_1Private.html" title="AbstractProcessWatched::Private" alt="" coords="5,5,251,32"></map></td></tr>
<tr><td><img src="inherit__graph__2.png" border="0" alt="" usemap="#AbstractSubject_1_1Private_map">
<map name="AbstractSubject_1_1Private_map">
<area shape="rect" href="structFastSatSolver_1_1AbstractSubject_1_1Private.html" title="AbstractSubject::Private" alt="" coords="5,5,192,32"></map></td></tr>
<tr><td><img src="inherit__graph__3.png" border="0" alt="" usemap="#BlindSatSolver_1_1Private_map">
<map name="BlindSatSolver_1_1Private_map">
<area shape="rect" href="structFastSatSolver_1_1BlindSatSolver_1_1Private.html" title="BlindSatSolver::Private" alt="" coords="5,5,181,32"></map></td></tr>
<tr><td><img src="inherit__graph__4.png" border="0" alt="" usemap="#Cmd_map">
<map name="Cmd_map">
<area shape="rect" href="classFastSatSolver_1_1Cmd.html" title="Cmd" alt="" coords="5,107,59,133"><area shape="rect" href="classFastSatSolver_1_1CmdBinary.html" title="CmdBinary" alt="" coords="117,5,213,32"><area shape="rect" href="classFastSatSolver_1_1CmdConstant.html" title="CmdConstant" alt="" coords="109,56,221,83"><area shape="rect" href="classFastSatSolver_1_1CmdList.html" title="CmdList" alt="" coords="128,107,203,133"><area shape="rect" href="classFastSatSolver_1_1CmdUnaryNot.html" title="CmdUnaryNot" alt="" coords="107,157,224,184"><area shape="rect" href="classFastSatSolver_1_1CmdVariable.html" title="CmdVariable" alt="" coords="112,208,219,235"></map></td></tr>
<tr><td><img src="inherit__graph__5.png" border="0" alt="" usemap="#Color_map">
<map name="Color_map">
<area shape="rect" href="classFastSatSolver_1_1StreamDecorator_1_1Color.html" title="Console output color manipulator." alt="" coords="7,5,63,32"></map></td></tr>
<tr><td><img src="inherit__graph__6.png" border="0" alt="" usemap="#Color_1_1Private_map">
<map name="Color_1_1Private_map">
<area shape="rect" href="structFastSatSolver_1_1StreamDecorator_1_1Color_1_1Private.html" title="Color::Private" alt="" coords="7,5,119,32"></map></td></tr>
<tr><td><img src="inherit__graph__7.png" border="0" alt="" usemap="#FitnessWatch_1_1Private_map">
<map name="FitnessWatch_1_1Private_map">
<area shape="rect" href="structFastSatSolver_1_1FitnessWatch_1_1Private.html" title="FitnessWatch::Private" alt="" coords="7,5,172,32"></map></td></tr>
<tr><td><img src="inherit__graph__8.png" border="0" alt="" usemap="#FixedFloat_map">
<map name="FixedFloat_map">
<area shape="rect" href="classFastSatSolver_1_1StreamDecorator_1_1FixedFloat.html" title="High-level stream manipulator for fixed floats." alt="" coords="5,5,96,32"></map></td></tr>
<tr><td><img src="inherit__graph__9.png" border="0" alt="" usemap="#FixedFloat_1_1Private_map">
<map name="FixedFloat_1_1Private_map">
<area shape="rect" href="structFastSatSolver_1_1StreamDecorator_1_1FixedFloat_1_1Private.html" title="FixedFloat::Private" alt="" coords="5,5,152,32"></map></td></tr>
<tr><td><img src="inherit__graph__10.png" border="0" alt="" usemap="#FormulaContainer_map">
<map name="FormulaContainer_map">
<area shape="rect" href="classFastSatSolver_1_1FormulaContainer.html" title="Container for evaluable formulas." alt="" coords="7,5,148,32"></map></td></tr>
<tr><td><img src="inherit__graph__11.png" border="0" alt="" usemap="#FormulaContainer_1_1Private_map">
<map name="FormulaContainer_1_1Private_map">
<area shape="rect" href="structFastSatSolver_1_1FormulaContainer_1_1Private.html" title="FormulaContainer::Private" alt="" coords="7,5,204,32"></map></td></tr>
<tr><td><img src="inherit__graph__12.png" border="0" alt="" usemap="#GaSatItem_1_1Private_map">
<map name="GaSatItem_1_1Private_map">
<area shape="rect" href="structFastSatSolver_1_1GaSatItem_1_1Private.html" title="GaSatItem::Private" alt="" coords="5,5,155,32"></map></td></tr>
<tr><td><img src="inherit__graph__13.png" border="0" alt="" usemap="#GaSatSolver_1_1Private_map">
<map name="GaSatSolver_1_1Private_map">
<area shape="rect" href="structFastSatSolver_1_1GaSatSolver_1_1Private.html" title="GaSatSolver::Private" alt="" coords="7,5,167,32"></map></td></tr>
<tr><td><img src="inherit__graph__14.png" border="0" alt="" usemap="#GenericException_map">
<map name="GenericException_map">
<area shape="rect" href="classFastSatSolver_1_1GenericException.html" title="Common-usage exception containing error message inside." alt="" coords="5,5,147,32"></map></td></tr>
<tr><td><img src="inherit__graph__15.png" border="0" alt="" usemap="#IFormulaEvaluator_map">
<map name="IFormulaEvaluator_map">
<area shape="rect" href="classFastSatSolver_1_1IFormulaBuilder.html" title="Interpreted formula's interface for parser which can read it." alt="" coords="15,5,143,32"><area shape="rect" href="classFastSatSolver_1_1InterpretedFormula.html" title="Interpreted formula implementation." alt="" coords="200,31,352,57"><area shape="rect" href="classFastSatSolver_1_1IFormulaEvaluator.html" title="Evaluable formula's interface." alt="" coords="7,56,151,83"></map></td></tr>
<tr><td><img src="inherit__graph__16.png" border="0" alt="" usemap="#InterpretedFormula_1_1Private_map">
<map name="InterpretedFormula_1_1Private_map">
<area shape="rect" href="structFastSatSolver_1_1InterpretedFormula_1_1Private.html" title="InterpretedFormula::Private" alt="" coords="5,5,213,32"></map></td></tr>
<tr><td><img src="inherit__graph__17.png" border="0" alt="" usemap="#IObserver_map">
<map name="IObserver_map">
<area shape="rect" href="classFastSatSolver_1_1IObserver.html" title="Simple observer's base class." alt="" coords="5,107,93,133"><area shape="rect" href="classFastSatSolver_1_1FitnessWatch.html" title="Observer which write out message when maxFitness value is increased." alt="" coords="164,5,273,32"><area shape="rect" href="classFastSatSolver_1_1ProgressWatch.html" title="Observer which write out progress percentage when it is changed." alt="" coords="159,56,279,83"><area shape="rect" href="classFastSatSolver_1_1ResultsWatch.html" title="Observer which write out message when solution is found." alt="" coords="163,107,275,133"><area shape="rect" href="classFastSatSolver_1_1SolutionsCountStop.html" title="Observer which stop solver after specified count of solutions is found." alt="" coords="141,157,296,184"><area shape="rect" href="classFastSatSolver_1_1TimedStop.html" title="Observer which stops process after specified time." alt="" coords="171,208,267,235"></map></td></tr>
<tr><td><img src="inherit__graph__18.png" border="0" alt="" usemap="#ISatItem_map">
<map name="ISatItem_map">
<area shape="rect" href="classFastSatSolver_1_1ISatItem.html" title="Abstraction of solution candidate." alt="" coords="7,81,84,108"><area shape="rect" href="classFastSatSolver_1_1GaSatItem.html" title="ISatItem implementation used by GaSatSolver." alt="" coords="244,5,337,32"><area shape="rect" href="classFastSatSolver_1_1LongSatItem.html" title="ISatItem implementation used by BlindSatSolver." alt="" coords="237,56,344,83"><area shape="rect" href="classFastSatSolver_1_1SatItemGalibAdatper.html" title="Leightweight, optimized ISatItem implementation used by GaSatSolver time-critical..." alt="" coords="209,107,372,133"><area shape="rect" href="classFastSatSolver_1_1SatItemSet_1_1Private_1_1SatItemHashDecorator.html" title="SatItemSet::Private::SatItemHashDecorator" alt="" coords="133,157,448,184"></map></td></tr>
<tr><td><img src="inherit__graph__19.png" border="0" alt="" usemap="#IScanner_map">
<map name="IScanner_map">
<area shape="rect" href="classFastSatSolver_1_1IScanner.html" title="Extensible lexical scanner's interface." alt="" coords="7,56,87,83"><area shape="rect" href="classFastSatSolver_1_1RawScanner.html" title="Low-level scanner parses lexical units from opened file." alt="" coords="177,5,281,32"><area shape="rect" href="classFastSatSolver_1_1ScannerFormulaHandler.html" title="High-level part of parser handling almost all tokens and building InterpretedFormula..." alt="" coords="137,56,321,83"><area shape="rect" href="classFastSatSolver_1_1ScannerStringHandler.html" title="Part of parser handling keywords and variable names." alt="" coords="144,107,315,133"></map></td></tr>
<tr><td><img src="inherit__graph__20.png" border="0" alt="" usemap="#ISubject_map">
<map name="ISubject_map">
<area shape="rect" href="classFastSatSolver_1_1IProcess.html" title="Continous process interface." alt="" coords="157,5,235,32"><area shape="rect" href="classFastSatSolver_1_1AbstractProcess.html" title="Base class of simple multi-step process." alt="" coords="309,31,440,57"><area shape="rect" href="classFastSatSolver_1_1AbstractProcessWatched.html" title="Multi-step process with time-watch extension." alt="" coords="488,56,677,83"><area shape="rect" href="classFastSatSolver_1_1AbstractSatSolver.html" title="SAT Solver base class." alt="" coords="725,56,869,83"><area shape="rect" href="classFastSatSolver_1_1BlindSatSolver.html" title="Solver using brute force method to solve SAT problem." alt="" coords="919,31,1039,57"><area shape="rect" href="classFastSatSolver_1_1GaSatSolver.html" title="Solver using GAlib library to solve SAT problem." alt="" coords="927,81,1031,108"><area shape="rect" href="classFastSatSolver_1_1IStopWatch.html" title="Interface of time-watchable activity." alt="" coords="325,81,424,108"><area shape="rect" href="classFastSatSolver_1_1ISubject.html" title="Simple observer's subject base class." alt="" coords="7,56,81,83"><area shape="rect" href="classFastSatSolver_1_1AbstractSubject.html" title="Simple subject's base class." alt="" coords="131,56,261,83"></map></td></tr>
<tr><td><img src="inherit__graph__21.png" border="0" alt="" usemap="#ParserStack_map">
<map name="ParserStack_map">
<area shape="rect" href="classFastSatSolver_1_1ParserStack.html" title="ParserStack" alt="" coords="5,5,107,32"></map></td></tr>
<tr><td><img src="inherit__graph__22.png" border="0" alt="" usemap="#ProgressWatch_1_1Private_map">
<map name="ProgressWatch_1_1Private_map">
<area shape="rect" href="structFastSatSolver_1_1ProgressWatch_1_1Private.html" title="ProgressWatch::Private" alt="" coords="7,5,183,32"></map></td></tr>
<tr><td><img src="inherit__graph__23.png" border="0" alt="" usemap="#RandGenerator_map">
<map name="RandGenerator_map">
<area shape="rect" href="classRandGenerator.html" title="RandGenerator" alt="" coords="5,5,131,32"></map></td></tr>
<tr><td><img src="inherit__graph__24.png" border="0" alt="" usemap="#RawScanner_1_1Private_map">
<map name="RawScanner_1_1Private_map">
<area shape="rect" href="structFastSatSolver_1_1RawScanner_1_1Private.html" title="RawScanner::Private" alt="" coords="7,5,167,32"></map></td></tr>
<tr><td><img src="inherit__graph__25.png" border="0" alt="" usemap="#ResultsWatch_1_1Private_map">
<map name="ResultsWatch_1_1Private_map">
<area shape="rect" href="structFastSatSolver_1_1ResultsWatch_1_1Private.html" title="ResultsWatch::Private" alt="" coords="5,5,173,32"></map></td></tr>
<tr><td><img src="inherit__graph__26.png" border="0" alt="" usemap="#SatItemSet_map">
<map name="SatItemSet_map">
<area shape="rect" href="classFastSatSolver_1_1SatItemSet.html" title="Associative array for ISatItem objects." alt="" coords="7,5,103,32"></map></td></tr>
<tr><td><img src="inherit__graph__27.png" border="0" alt="" usemap="#SatItemSet_1_1Private_map">
<map name="SatItemSet_1_1Private_map">
<area shape="rect" href="structFastSatSolver_1_1SatItemSet_1_1Private.html" title="SatItemSet::Private" alt="" coords="5,5,157,32"></map></td></tr>
<tr><td><img src="inherit__graph__28.png" border="0" alt="" usemap="#SatItemVector_map">
<map name="SatItemVector_map">
<area shape="rect" href="classFastSatSolver_1_1SatItemVector.html" title="Linear storage container for ISatItem objects." alt="" coords="5,5,123,32"></map></td></tr>
<tr><td><img src="inherit__graph__29.png" border="0" alt="" usemap="#SatItemVector_1_1Private_map">
<map name="SatItemVector_1_1Private_map">
<area shape="rect" href="structFastSatSolver_1_1SatItemVector_1_1Private.html" title="SatItemVector::Private" alt="" coords="5,5,179,32"></map></td></tr>
<tr><td><img src="inherit__graph__30.png" border="0" alt="" usemap="#SatProblem_map">
<map name="SatProblem_map">
<area shape="rect" href="classFastSatSolver_1_1SatProblem.html" title="SAT Problem module's facade." alt="" coords="5,5,104,32"></map></td></tr>
<tr><td><img src="inherit__graph__31.png" border="0" alt="" usemap="#SatProblem_1_1Private_map">
<map name="SatProblem_1_1Private_map">
<area shape="rect" href="structFastSatSolver_1_1SatProblem_1_1Private.html" title="SatProblem::Private" alt="" coords="5,5,160,32"></map></td></tr>
<tr><td><img src="inherit__graph__32.png" border="0" alt="" usemap="#ScannerFormulaHandler_1_1Private_map">
<map name="ScannerFormulaHandler_1_1Private_map">
<area shape="rect" href="structFastSatSolver_1_1ScannerFormulaHandler_1_1Private.html" title="ScannerFormulaHandler::Private" alt="" coords="7,5,247,32"></map></td></tr>
<tr><td><img src="inherit__graph__33.png" border="0" alt="" usemap="#ScannerStringHandler_1_1Private_map">
<map name="ScannerStringHandler_1_1Private_map">
<area shape="rect" href="structFastSatSolver_1_1ScannerStringHandler_1_1Private.html" title="ScannerStringHandler::Private" alt="" coords="5,5,232,32"></map></td></tr>
<tr><td><img src="inherit__graph__34.png" border="0" alt="" usemap="#SolutionsCountStop_1_1Private_map">
<map name="SolutionsCountStop_1_1Private_map">
<area shape="rect" href="structFastSatSolver_1_1SolutionsCountStop_1_1Private.html" title="SolutionsCountStop::Private" alt="" coords="5,5,216,32"></map></td></tr>
<tr><td><img src="inherit__graph__35.png" border="0" alt="" usemap="#TimedStop_1_1Private_map">
<map name="TimedStop_1_1Private_map">
<area shape="rect" href="structFastSatSolver_1_1TimedStop_1_1Private.html" title="TimedStop::Private" alt="" coords="5,5,157,32"></map></td></tr>
<tr><td><img src="inherit__graph__36.png" border="0" alt="" usemap="#Token_map">
<map name="Token_map">
<area shape="rect" href="structFastSatSolver_1_1Token.html" title="Syntax unit representation - also called token." alt="" coords="7,5,68,32"></map></td></tr>
<tr><td><img src="inherit__graph__37.png" border="0" alt="" usemap="#VariableContainer_map">
<map name="VariableContainer_map">
<area shape="rect" href="classFastSatSolver_1_1VariableContainer.html" title="Container for variables names." alt="" coords="5,5,149,32"></map></td></tr>
<tr><td><img src="inherit__graph__38.png" border="0" alt="" usemap="#VariableContainer_1_1Private_map">
<map name="VariableContainer_1_1Private_map">
<area shape="rect" href="structFastSatSolver_1_1VariableContainer_1_1Private.html" title="VariableContainer::Private" alt="" coords="5,5,205,32"></map></td></tr>
</table>
<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>
Zpět na hlavní stránku
inherits.html [Stáhnout]