<!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>CVC3: minisat_global.h File Reference</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">CVC3 <span id="projectnumber">2.4.1</span></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>
<div class="header">
<div class="summary">
<a href="#nested-classes">Classes</a> |
<a href="#namespaces">Namespaces</a> |
<a href="#define-members">Defines</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>
<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>
<p><a href="minisat__global_8h_source.html">Go to the source code of this file.</a></p>
<h2><a name="nested-classes"></a>
Classes</h2>
<ul>
<li>struct <a class="el" href="structMiniSat_1_1STATIC__ASSERTION__FAILURE_3_01true_01_4.html">MiniSat::STATIC_ASSERTION_FAILURE< true ></a>
<li>class <a class="el" href="classMiniSat_1_1vec.html">MiniSat::vec< T ></a>
<li>class <a class="el" href="classMiniSat_1_1lbool.html">MiniSat::lbool</a>
</ul>
<h2><a name="namespaces"></a>
Namespaces</h2>
<ul>
<li>namespace <a class="el" href="namespaceMiniSat.html">MiniSat</a>
</ul>
<h2><a name="define-members"></a>
Defines</h2>
<ul>
<li>#define <a class="el" href="minisat__global_8h.html#aef7d4bba58957b1cde77147f19b659a0">TEMPLATE_FAIL</a>   STATIC_ASSERTION_FAILURE<false>()
<li>#define <a class="el" href="minisat__global_8h.html#a5b4f73d937d9628d6902987bd7317a23">__SGI_STL_INTERNAL_RELOPS</a>
</ul>
<h2><a name="func-members"></a>
Functions</h2>
<ul>
<li>template<class T > static T <a class="el" href="namespaceMiniSat.html#a74c8343998008d4d992e491ec26d4d6a">MiniSat::min</a> (T x, T y)
<li>template<class T > static T <a class="el" href="namespaceMiniSat.html#aa07ebe3ac704ce3a2a931d5dc9d69b7a">MiniSat::max</a> (T x, T y)
<li>template<class T > static T * <a class="el" href="namespaceMiniSat.html#a7fffcd2c39ed50869273b98b2b19ca62">MiniSat::xmalloc</a> (size_t size)
<li>template<class T > static T * <a class="el" href="namespaceMiniSat.html#a82898b8da41c4146ecc083d3282450ba">MiniSat::xrealloc</a> (T *ptr, size_t size)
<li>template<class T > static void <a class="el" href="namespaceMiniSat.html#acbe7b3fac8ab3909327207b0fea1f4d8">MiniSat::xfree</a> (T *ptr)
<li>static double <a class="el" href="namespaceMiniSat.html#a24abdfa24bc8d99b5f25d3cd38adaa78">MiniSat::drand</a> (double &seed)
<li>static int <a class="el" href="namespaceMiniSat.html#a8ecdd514fb182dd7adadecd941f1be3b">MiniSat::irand</a> (double &seed, int size)
<li>int <a class="el" href="namespaceMiniSat.html#a4c585f2e8db13de83607a0d22761e91d">MiniSat::toInt</a> (lbool l)
<li>lbool <a class="el" href="namespaceMiniSat.html#a1c28cb1733880d6dbc7aff894cb5527d">MiniSat::toLbool</a> (int v)
<li>template<class T > static bool <a class="el" href="namespaceMiniSat.html#adb0b165c3f6a6450e7fdcf8464b3c705">MiniSat::operator!=</a> (const T &x, const T &y)
<li>template<class T > static bool <a class="el" href="namespaceMiniSat.html#a8fdfa7da7da034221d598afabb5fbdab">MiniSat::operator></a> (const T &x, const T &y)
<li>template<class T > static bool <a class="el" href="namespaceMiniSat.html#a001a9e91f802a7d6f2bc0cce0585d52e">MiniSat::operator<=</a> (const T &x, const T &y)
<li>template<class T > static bool <a class="el" href="namespaceMiniSat.html#a875d1ff175c5ffbfafd097b7c550dd0d">MiniSat::operator>=</a> (const T &x, const T &y)
</ul>
<h2><a name="var-members"></a>
Variables</h2>
<ul>
<li>const lbool <a class="el" href="namespaceMiniSat.html#ad0b6e52186f3374f569c4de9db621be1">MiniSat::l_True</a> = toLbool( 1)
<li>const lbool <a class="el" href="namespaceMiniSat.html#a810166165364a8a8262d24b13d7b1da9">MiniSat::l_False</a> = toLbool(-1)
<li>const lbool <a class="el" href="namespaceMiniSat.html#aa6f5310857da28f01311aebd650a531f">MiniSat::l_Undef</a> = toLbool( 0)
</ul>
<hr/><a name="details" id="details"></a><h2>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><hr/><h2>Define Documentation</h2>
<a class="anchor" id="aef7d4bba58957b1cde77147f19b659a0"></a><!-- doxytag: member="minisat_global.h::TEMPLATE_FAIL" ref="aef7d4bba58957b1cde77147f19b659a0" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">#define TEMPLATE_FAIL   STATIC_ASSERTION_FAILURE<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><!-- doxytag: member="minisat_global.h::__SGI_STL_INTERNAL_RELOPS" ref="a5b4f73d937d9628d6902987bd7317a23" args="" -->
<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>
<hr class="footer"/><address class="footer"><small>Generated on Wed Sep 7 2011 for CVC3 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>
