<!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"/>
<meta http-equiv="X-UA-Compatible" content="IE=9"/>
<title>CVC3: minisat_global.h File Reference</title>
<link href="tabs.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
<link href="doxygen.css" rel="stylesheet" type="text/css" />
</head>
<body>
<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
<table cellspacing="0" cellpadding="0">
<tbody>
<tr style="height: 56px;">
<td style="padding-left: 0.5em;">
<div id="projectname">CVC3
</div>
</td>
</tr>
</tbody>
</table>
</div>
<!-- end header part -->
<!-- Generated by Doxygen 1.8.2 -->
<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 id="nav-path" class="navpath">
<ul>
<li class="navelem"><a class="el" href="dir_68267d1309a1af8e8297ef4c3efbcdba.html">src</a></li><li class="navelem"><a class="el" href="dir_a36840dfa927f36fc689e54a034a1fa1.html">sat</a></li> </ul>
</div>
</div><!-- top -->
<div class="header">
<div class="summary">
<a href="#nested-classes">Classes</a> |
<a href="#namespaces">Namespaces</a> |
<a href="#define-members">Macros</a> |
<a href="#func-members">Functions</a> |
<a href="#var-members">Variables</a> </div>
<div class="headertitle">
<div class="title">minisat_global.h File Reference</div> </div>
</div><!--header-->
<div class="contents">
<p><a class="el" href="namespaceMiniSat.html">MiniSat</a> global functions.
<a href="#details">More...</a></p>
<div class="textblock"><code>#include "<a class="el" href="debug_8h_source.html">debug.h</a>"</code><br/>
<code>#include <cstdio></code><br/>
<code>#include <cstdlib></code><br/>
<code>#include <climits></code><br/>
<code>#include <cfloat></code><br/>
<code>#include <cstring></code><br/>
<code>#include <new></code><br/>
</div><div class="textblock"><div class="dynheader">
This graph shows which files directly or indirectly include this file:</div>
<div class="dyncontent">
<div class="center"><img src="minisat__global_8h__dep__incl.gif" border="0" usemap="#minisat__global_8hdep" alt=""/></div>
<map name="minisat__global_8hdep" id="minisat__global_8hdep">
</map>
</div>
</div>
<p><a href="minisat__global_8h_source.html">Go to the source code of this file.</a></p>
<table class="memberdecls">
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="nested-classes"></a>
Classes</h2></td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct  </td><td class="memItemRight" valign="bottom"><a class="el" href="structSTATIC__ASSERTION__FAILURE.html">STATIC_ASSERTION_FAILURE< bool ></a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct  </td><td class="memItemRight" valign="bottom"><a class="el" href="structMiniSat_1_1STATIC__ASSERTION__FAILURE_3_01true_01_4.html">MiniSat::STATIC_ASSERTION_FAILURE< true ></a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class  </td><td class="memItemRight" valign="bottom"><a class="el" href="classMiniSat_1_1vec.html">MiniSat::vec< T ></a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class  </td><td class="memItemRight" valign="bottom"><a class="el" href="classMiniSat_1_1lbool.html">MiniSat::lbool</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
</table><table class="memberdecls">
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="namespaces"></a>
Namespaces</h2></td></tr>
<tr class="memitem:namespaceMiniSat"><td class="memItemLeft" align="right" valign="top">namespace  </td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceMiniSat.html">MiniSat</a></td></tr>
<tr class="separator:"><td class="memSeparator" colspan="2"> </td></tr>
</table><table class="memberdecls">
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="define-members"></a>
Macros</h2></td></tr>
<tr class="memitem:aef7d4bba58957b1cde77147f19b659a0"><td class="memItemLeft" align="right" valign="top">#define </td><td class="memItemRight" valign="bottom"><a class="el" href="minisat__global_8h.html#aef7d4bba58957b1cde77147f19b659a0">TEMPLATE_FAIL</a>   <a class="el" href="structSTATIC__ASSERTION__FAILURE.html">STATIC_ASSERTION_FAILURE</a><false>()</td></tr>
<tr class="separator:aef7d4bba58957b1cde77147f19b659a0"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a5b4f73d937d9628d6902987bd7317a23"><td class="memItemLeft" align="right" valign="top">#define </td><td class="memItemRight" valign="bottom"><a class="el" href="minisat__global_8h.html#a5b4f73d937d9628d6902987bd7317a23">__SGI_STL_INTERNAL_RELOPS</a></td></tr>
<tr class="separator:a5b4f73d937d9628d6902987bd7317a23"><td class="memSeparator" colspan="2"> </td></tr>
</table><table class="memberdecls">
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="func-members"></a>
Functions</h2></td></tr>
<tr class="memitem:a342fc8b6bcd668b931a0bff2119e9aa8"><td class="memTemplParams" colspan="2">template<class T > </td></tr>
<tr class="memitem:a342fc8b6bcd668b931a0bff2119e9aa8"><td class="memTemplItemLeft" align="right" valign="top">static T </td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespaceMiniSat.html#a342fc8b6bcd668b931a0bff2119e9aa8">MiniSat::min</a> (T x, T y)</td></tr>
<tr class="separator:a342fc8b6bcd668b931a0bff2119e9aa8"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a96d27264120083122347d87a2d82cd98"><td class="memTemplParams" colspan="2">template<class T > </td></tr>
<tr class="memitem:a96d27264120083122347d87a2d82cd98"><td class="memTemplItemLeft" align="right" valign="top">static T </td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespaceMiniSat.html#a96d27264120083122347d87a2d82cd98">MiniSat::max</a> (T x, T y)</td></tr>
<tr class="separator:a96d27264120083122347d87a2d82cd98"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:ad9cef9b7ffc30b1480a990f00e96e74f"><td class="memTemplParams" colspan="2">template<class T > </td></tr>
<tr class="memitem:ad9cef9b7ffc30b1480a990f00e96e74f"><td class="memTemplItemLeft" align="right" valign="top">static T * </td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespaceMiniSat.html#ad9cef9b7ffc30b1480a990f00e96e74f">MiniSat::xmalloc</a> (size_t size)</td></tr>
<tr class="separator:ad9cef9b7ffc30b1480a990f00e96e74f"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a6b9f3f6257910e2c48a3e8384bdd06a0"><td class="memTemplParams" colspan="2">template<class T > </td></tr>
<tr class="memitem:a6b9f3f6257910e2c48a3e8384bdd06a0"><td class="memTemplItemLeft" align="right" valign="top">static T * </td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespaceMiniSat.html#a6b9f3f6257910e2c48a3e8384bdd06a0">MiniSat::xrealloc</a> (T *ptr, size_t size)</td></tr>
<tr class="separator:a6b9f3f6257910e2c48a3e8384bdd06a0"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a4e5f70e98cdfee0fd9b018a267f09e4a"><td class="memTemplParams" colspan="2">template<class T > </td></tr>
<tr class="memitem:a4e5f70e98cdfee0fd9b018a267f09e4a"><td class="memTemplItemLeft" align="right" valign="top">static void </td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespaceMiniSat.html#a4e5f70e98cdfee0fd9b018a267f09e4a">MiniSat::xfree</a> (T *ptr)</td></tr>
<tr class="separator:a4e5f70e98cdfee0fd9b018a267f09e4a"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a24abdfa24bc8d99b5f25d3cd38adaa78"><td class="memItemLeft" align="right" valign="top">static double </td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceMiniSat.html#a24abdfa24bc8d99b5f25d3cd38adaa78">MiniSat::drand</a> (double &seed)</td></tr>
<tr class="separator:a24abdfa24bc8d99b5f25d3cd38adaa78"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a8ecdd514fb182dd7adadecd941f1be3b"><td class="memItemLeft" align="right" valign="top">static int </td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceMiniSat.html#a8ecdd514fb182dd7adadecd941f1be3b">MiniSat::irand</a> (double &seed, int size)</td></tr>
<tr class="separator:a8ecdd514fb182dd7adadecd941f1be3b"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a4c585f2e8db13de83607a0d22761e91d"><td class="memItemLeft" align="right" valign="top">int </td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceMiniSat.html#a4c585f2e8db13de83607a0d22761e91d">MiniSat::toInt</a> (lbool l)</td></tr>
<tr class="separator:a4c585f2e8db13de83607a0d22761e91d"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a1c28cb1733880d6dbc7aff894cb5527d"><td class="memItemLeft" align="right" valign="top">lbool </td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceMiniSat.html#a1c28cb1733880d6dbc7aff894cb5527d">MiniSat::toLbool</a> (int v)</td></tr>
<tr class="separator:a1c28cb1733880d6dbc7aff894cb5527d"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a9d1c1a3916831204073248d296b421cb"><td class="memTemplParams" colspan="2">template<class T > </td></tr>
<tr class="memitem:a9d1c1a3916831204073248d296b421cb"><td class="memTemplItemLeft" align="right" valign="top">static bool </td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespaceMiniSat.html#a9d1c1a3916831204073248d296b421cb">MiniSat::operator!=</a> (const T &x, const T &y)</td></tr>
<tr class="separator:a9d1c1a3916831204073248d296b421cb"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a59c5830d74a29955f16068e5fce9af1d"><td class="memTemplParams" colspan="2">template<class T > </td></tr>
<tr class="memitem:a59c5830d74a29955f16068e5fce9af1d"><td class="memTemplItemLeft" align="right" valign="top">static bool </td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespaceMiniSat.html#a59c5830d74a29955f16068e5fce9af1d">MiniSat::operator></a> (const T &x, const T &y)</td></tr>
<tr class="separator:a59c5830d74a29955f16068e5fce9af1d"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a3d181ba7d131f3d5687df617dc2f07ed"><td class="memTemplParams" colspan="2">template<class T > </td></tr>
<tr class="memitem:a3d181ba7d131f3d5687df617dc2f07ed"><td class="memTemplItemLeft" align="right" valign="top">static bool </td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespaceMiniSat.html#a3d181ba7d131f3d5687df617dc2f07ed">MiniSat::operator<=</a> (const T &x, const T &y)</td></tr>
<tr class="separator:a3d181ba7d131f3d5687df617dc2f07ed"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a515d121183f07238ec3361bde2b3c32f"><td class="memTemplParams" colspan="2">template<class T > </td></tr>
<tr class="memitem:a515d121183f07238ec3361bde2b3c32f"><td class="memTemplItemLeft" align="right" valign="top">static bool </td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespaceMiniSat.html#a515d121183f07238ec3361bde2b3c32f">MiniSat::operator>=</a> (const T &x, const T &y)</td></tr>
<tr class="separator:a515d121183f07238ec3361bde2b3c32f"><td class="memSeparator" colspan="2"> </td></tr>
</table><table class="memberdecls">
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="var-members"></a>
Variables</h2></td></tr>
<tr class="memitem:ad0b6e52186f3374f569c4de9db621be1"><td class="memItemLeft" align="right" valign="top">const lbool </td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceMiniSat.html#ad0b6e52186f3374f569c4de9db621be1">MiniSat::l_True</a> = toLbool( 1)</td></tr>
<tr class="separator:ad0b6e52186f3374f569c4de9db621be1"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a810166165364a8a8262d24b13d7b1da9"><td class="memItemLeft" align="right" valign="top">const lbool </td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceMiniSat.html#a810166165364a8a8262d24b13d7b1da9">MiniSat::l_False</a> = toLbool(-1)</td></tr>
<tr class="separator:a810166165364a8a8262d24b13d7b1da9"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:aa6f5310857da28f01311aebd650a531f"><td class="memItemLeft" align="right" valign="top">const lbool </td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceMiniSat.html#aa6f5310857da28f01311aebd650a531f">MiniSat::l_Undef</a> = toLbool( 0)</td></tr>
<tr class="separator:aa6f5310857da28f01311aebd650a531f"><td class="memSeparator" colspan="2"> </td></tr>
</table>
<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
<div class="textblock"><p><a class="el" href="namespaceMiniSat.html">MiniSat</a> global functions. </p>
<p>Author: Alexander Fuchs</p>
<p>Created: Fri Sep 08 11:04:00 2006</p>
<hr/>
<p>License to use, copy, modify, sell and/or distribute this software and its documentation for any purpose is hereby granted without royalty, subject to the terms and conditions defined in the <a class="el" href="LICENSE.html">LICENSE</a> file provided with this distribution.</p>
<hr/>
<p>Definition in file <a class="el" href="minisat__global_8h_source.html">minisat_global.h</a>.</p>
</div><h2 class="groupheader">Macro Definition Documentation</h2>
<a class="anchor" id="aef7d4bba58957b1cde77147f19b659a0"></a>
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">#define TEMPLATE_FAIL   <a class="el" href="structSTATIC__ASSERTION__FAILURE.html">STATIC_ASSERTION_FAILURE</a><false>()</td>
</tr>
</table>
</div><div class="memdoc">
<p>Definition at line <a class="el" href="minisat__global_8h_source.html#l00063">63</a> of file <a class="el" href="minisat__global_8h_source.html">minisat_global.h</a>.</p>
<p>Referenced by <a class="el" href="minisat__global_8h_source.html#l00154">MiniSat::vec< int >::operator=()</a>, and <a class="el" href="minisat__global_8h_source.html#l00155">MiniSat::vec< int >::vec()</a>.</p>
</div>
</div>
<a class="anchor" id="a5b4f73d937d9628d6902987bd7317a23"></a>
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">#define __SGI_STL_INTERNAL_RELOPS</td>
</tr>
</table>
</div><div class="memdoc">
<p>Definition at line <a class="el" href="minisat__global_8h_source.html#l00224">224</a> of file <a class="el" href="minisat__global_8h_source.html">minisat_global.h</a>.</p>
</div>
</div>
</div><!-- contents -->
<!-- start footer part -->
<hr class="footer"/><address class="footer"><small>
Generated on Thu May 16 2013 13:25:16 for CVC3 by  <a href="http://www.doxygen.org/index.html">
<img class="footer" src="doxygen.png" alt="doxygen"/>
</a> 1.8.2
</small></address>
</body>
</html>
