minisat_global.h File Reference

MiniSat global functions. More...

#include "debug.h"
#include <cstdio>
#include <cstdlib>
#include <climits>
#include <cfloat>
#include <cstring>
#include <new>

Include dependency graph for minisat_global.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces

• namespace MiniSat

Classes

• struct MiniSat::STATIC_ASSERTION_FAILURE< true >
• class MiniSat::vec< T >
• class MiniSat::lbool

Defines

• #define TEMPLATE_FAIL   STATIC_ASSERTION_FAILURE<false>()

Functions

• template<class T> static T MiniSat::min (T x, T y)
• template<class T> static T MiniSat::max (T x, T y)
• template<class T> static T * MiniSat::xmalloc (size_t size)
• template<class T> static T * MiniSat::xrealloc (T *ptr, size_t size)
• template<class T> static void MiniSat::xfree (T *ptr)
• static double MiniSat::drand (double &seed)
• static int MiniSat::irand (double &seed, int size)
• int MiniSat::toInt (lbool l)
• lbool MiniSat::toLbool (int v)
• template<class T> static bool MiniSat::operator!= (const T &x, const T &y)
• template<class T> static bool MiniSat::operator> (const T &x, const T &y)
• template<class T> static bool MiniSat::operator<= (const T &x, const T &y)
• template<class T> static bool MiniSat::operator>= (const T &x, const T &y)

Variables

• const lbool MiniSat::l_True = toLbool( 1)
• const lbool MiniSat::l_False = toLbool(-1)
• const lbool MiniSat::l_Undef = toLbool( 0)

---

Detailed Description

MiniSat global functions.

Author: Alexander Fuchs

Created: Fri Sep 08 11:04:00 2006

---

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 LICENSE file provided with this distribution.

---

Definition in file minisat_global.h.

---

Define Documentation

#define TEMPLATE_FAIL   STATIC_ASSERTION_FAILURE<false>()

Definition at line 63 of file minisat_global.h.

Referenced by MiniSat::vec< int >::operator=(), and MiniSat::vec< int >::vec().

---