sat-solver/cmdln_flags.hpp

22 lines
350 B
C++

#ifndef CLASS_CMDLN_FLAGS
#define CLASS_CMDLN_FLAGS
#include <stddef.h>
class cmdln_flags
{
public:
const char* input_path = NULL;
bool dump_automata = false;
bool verbose = false;
bool verify = false;
public:
cmdln_flags(int argc, char* const* argv);
};
#endif