ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
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)