ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
config.hpp
Go to the documentation of this file.
1#ifndef _config_hpp_INCLUDED
2#define _config_hpp_INCLUDED
3
4#include "global.h"
5
7
8namespace CaDiCaL {
9
10class Options;
11
12struct Config {
13
14 static bool has (const char *);
15 static bool set (Options &, const char *);
16 static void usage ();
17
18 static const char **begin ();
19 static const char **end ();
20};
21
22} // namespace CaDiCaL
23
25
26#endif
#define ABC_NAMESPACE_CXX_HEADER_START
#define ABC_NAMESPACE_CXX_HEADER_END
static const char ** end()
static void usage()
static bool has(const char *)
static bool set(Options &, const char *)
static const char ** begin()