CaDiCaL::Config Struct Reference

#include <config.hpp>

Static Public Member Functions
static bool	has (const char *)
static bool	set (Options &, const char *)
static void	usage ()
static const char **	begin ()
static const char **	end ()

Detailed Description

Definition at line 12 of file config.hpp.

Member Function Documentation

begin()

const char ** CaDiCaL::Config::begin ( )

static

Definition at line 102 of file cadical_config.cpp.

{ return configs; }

end()

const char ** CaDiCaL::Config::end ( )

static

Definition at line 103 of file cadical_config.cpp.

{ return &configs[num_configs]; }

has()

bool CaDiCaL::Config::has ( const char * name )

static

Definition at line 57 of file cadical_config.cpp.

                                  {
#define CONFIG(N, D) \
  if (!strcmp (name, #N)) \
    return true;
  CONFIGS
#undef CONFIG
  return false;
}

Here is the caller graph for this function:

set()

bool CaDiCaL::Config::set ( Options & opts, const char * name )

static

Definition at line 66 of file cadical_config.cpp.

                                                 {
  if (!strcmp (name, "default")) {
    opts.reset_default_values ();
    return true;
  }
  if (!strcmp (name, "plain")) {
    opts.disable_preprocessing ();
    return true;
  }
#define CONFIG(N, D) \
  do { \
    if (strcmp (name, #N)) \
      break; \
    const NameVal *BEGIN = N##_config; \
    const NameVal *END = BEGIN + sizeof N##_config / sizeof (NameVal); \
    for (const NameVal *P = BEGIN; P != END; P++) { \
      CADICAL_assert (Options::has (P->name)); \
      opts.set (P->name, P->val); \
    } \
    return true; \
  } while (0);
  CONFIGS
#undef CONFIG
  return false;
}

Here is the call graph for this function:

Here is the caller graph for this function:

usage()

void CaDiCaL::Config::usage ( )

static

Definition at line 94 of file cadical_config.cpp.

                    {
#define CONFIG(N, D) printf ("  %-14s " D "\n", "--" #N);
  CONFIGS
#undef CONFIG
}

Here is the caller graph for this function:

---

The documentation for this struct was generated from the following files:

• src/sat/cadical/config.hpp
• src/sat/cadical/cadical_config.cpp