cadical_config.cpp File Reference

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

Include dependency graph for cadical_config.cpp:

Go to the source code of this file.

Classes
struct	CaDiCaL::NameVal

Namespaces
namespace	CaDiCaL

Macros
#define	CONFIGS
#define	CONFIG(N, D)
#define	CONFIG(N, D)
#define	CONFIG(N, D)
#define	CONFIG(N, D)

Macro Definition Documentation

CONFIG [1/4]

#define CONFIG	(		N,
			D )

Value:

#N,

CONFIG [2/4]

#define CONFIG	(		N,
			D )

Value:

  if (!strcmp (name, #N)) \
    return true;

CONFIG [3/4]

#define CONFIG	(		N,
			D )

Value:

  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);

CONFIG [4/4]

#define CONFIG	(		N,
			D )

Value:

printf ("  %-14s " D "\n", "--" #N);

CONFIGS

#define CONFIGS

Value:

\
  CONFIG (default, "set default advanced internal options") \
  CONFIG (plain, "disable all internal preprocessing options") \
  CONFIG (sat, "set internal options to target satisfiable instances") \
  CONFIG (unsat, "set internal options to target unsatisfiable instances")

Definition at line 40 of file cadical_config.cpp.

#define CONFIGS \
\
  CONFIG (default, "set default advanced internal options") \
  CONFIG (plain, "disable all internal preprocessing options") \
  CONFIG (sat, "set internal options to target satisfiable instances") \
  CONFIG (unsat, "set internal options to target unsatisfiable instances")