← Back to branch summary

~verifydtapn-contributers/verifydtapn/trunk

« back to all changes in this revision

Viewing changes to src/Core/ArgsParser.hpp

  • Committer: Jiri Srba
  • Date: 2015-08-31 12:42:10 UTC
  • Revision ID: srba@cs.aau.dk-20150831124210-oahd6a7p3qct4291
changed version number to 3.2 (PTrie in workflow analysis)

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/Core/ArgsParser.hpp
80
80
        class ArgsParser {
81
81
                typedef std::vector< boost::shared_ptr<Switch> > parser_vec;
82
82
        public:
83
 
                ArgsParser() : parsers(), version(3,1,3) { initialize(); };
 
83
                ArgsParser() : parsers(), version(3,2,0) { initialize(); };
84
84
                virtual ~ArgsParser() {};
85
85
 
86
86
                VerificationOptions parse(int argc, char* argv[]) const;