util.hpp File Reference

#include "global.h"
#include <cassert>
#include <cstdint>
#include <vector>

Include dependency graph for util.hpp:

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

Go to the source code of this file.

Classes
struct	CaDiCaL::DeferDeleteArray< T >
struct	CaDiCaL::DeferDeletePtr< T >

Namespaces
namespace	CaDiCaL

Functions
double	CaDiCaL::relative (double a, double b)
double	CaDiCaL::percent (double a, double b)
int	CaDiCaL::sign (int lit)
unsigned	CaDiCaL::bign (int lit)
bool	CaDiCaL::has_suffix (const char *str, const char *suffix)
bool	CaDiCaL::has_prefix (const char *str, const char *prefix)
bool	CaDiCaL::parse_int_str (const char *val_str, int &val)
bool	CaDiCaL::is_power_of_two (unsigned n)
bool	CaDiCaL::contained (int64_t c, int64_t l, int64_t u)
bool	CaDiCaL::aligned (size_t n, size_t alignment)
size_t	CaDiCaL::align (size_t n, size_t alignment)
bool	CaDiCaL::parity (unsigned a)
template<class T>
void	CaDiCaL::erase_vector (std::vector< T > &v)
template<class T>
void	CaDiCaL::shrink_vector (std::vector< T > &v)
template<class T>
void	CaDiCaL::clear_n (T *base, size_t n)
bool	CaDiCaL::is_color_option (const char *arg)
bool	CaDiCaL::is_no_color_option (const char *arg)
uint64_t	CaDiCaL::hash_string (const char *str)