#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