blob: ddba219a4ae85bde65726cff38f858b7844ec4e4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
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_ */
|