config_8hpp_source.html

#ifndef _config_hpp_INCLUDED

#define _config_hpp_INCLUDED


#include "global.h"


ABC_NAMESPACE_CXX_HEADER_START


namespace CaDiCaL {


class Options;


struct Config {


  static bool has (const char *);

  static bool set (Options &, const char *);

  static void usage ();


  static const char **begin ();

  static const char **end ();

};


} // namespace CaDiCaL


ABC_NAMESPACE_CXX_HEADER_END


#endif

ABC_NAMESPACE_CXX_HEADER_START
#define ABC_NAMESPACE_CXX_HEADER_START
Definition abc_namespaces.h:52

ABC_NAMESPACE_CXX_HEADER_END
#define ABC_NAMESPACE_CXX_HEADER_END
Definition abc_namespaces.h:53

global.h

CaDiCaL::Options
Definition options.hpp:315

CaDiCaL
Definition arena.hpp:8

CaDiCaL::Config
Definition config.hpp:12

CaDiCaL::Config::end
static const char ** end()
Definition cadical_config.cpp:103

CaDiCaL::Config::usage
static void usage()
Definition cadical_config.cpp:94

CaDiCaL::Config::has
static bool has(const char *)
Definition cadical_config.cpp:57

CaDiCaL::Config::set
static bool set(Options &, const char *)
Definition cadical_config.cpp:66

CaDiCaL::Config::begin
static const char ** begin()
Definition cadical_config.cpp:102