12 #ifndef CPROVER_MEMORY_MODELS_MMCC_PARSE_OPTIONS_H 13 #define CPROVER_MEMORY_MODELS_MMCC_PARSE_OPTIONS_H 19 #define MMCC_OPTIONS \ 31 int convert(std::istream &,
const std::string &);
34 #endif // CPROVER_MEMORY_MODELS_MMCC_PARSE_OPTIONS_H
virtual void help()
display command line help
mmcc_parse_optionst(int argc, const char **argv)
int convert(std::istream &, const std::string &)
virtual int doit()
invoke main modules