diff options
Diffstat (limited to 'src/parser/parser_options.h')
-rw-r--r-- | src/parser/parser_options.h | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/src/parser/parser_options.h b/src/parser/parser_options.h new file mode 100644 index 000000000..ddba219a4 --- /dev/null +++ b/src/parser/parser_options.h @@ -0,0 +1,27 @@ +/* + * parser_options.h + * + * Created on: Mar 3, 2010 + * Author: chris + */ + +#ifndef CVC4__PARSER__PARSER_OPTIONS_H_ +#define CVC4__PARSER__PARSER_OPTIONS_H_ + +namespace CVC4 { +namespace parser { + + /** The input language option */ + enum InputLanguage { + /** The SMTLIB input language */ + LANG_SMTLIB, + /** The CVC4 input language */ + LANG_CVC4, + /** Auto-detect the language */ + LANG_AUTO + }; + +} +} + +#endif /* CVC4__PARSER__PARSER_OPTIONS_H_ */ |