~peter-gjoel/verifydtapn/WorkflowRefactor

        class ArgsParser {

                typedef std::vector< boost::shared_ptr<Switch> > parser_vec;

        public:

                virtual ~ArgsParser() {};

 

                VerificationOptions parse(int argc, char* argv[]) const;

                VerificationOptions createVerificationOptions(const option_map& map) const;

                VerificationOptions verifyInputFiles(VerificationOptions, std::string model_file, std::string query_file) const;

                unsigned int tryParseInt(const option& option) const;

                std::vector<std::string> parseIncPlaces(const std::string& string) const;

                void initialize();

                void printHelp() const;