cadical_util.cpp File Reference

#include "global.h"
#include "internal.hpp"

Include dependency graph for cadical_util.cpp:

Go to the source code of this file.

Namespaces
namespace	CaDiCaL

Functions
bool	CaDiCaL::parse_int_str (const char *val_str, int &val)
bool	CaDiCaL::has_suffix (const char *str, const char *suffix)
bool	CaDiCaL::has_prefix (const char *str, const char *prefix)
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)