Go to the documentation of this file.00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022 #ifndef _cvc3__lang_h_
00023 #define _cvc3__lang_h_
00024
00025 #include "debug.h"
00026
00027 namespace CVC3 {
00028
00029
00030 typedef enum {
00031
00032 PRESENTATION_LANG,
00033
00034 SMTLIB_LANG,
00035
00036 LISP_LANG,
00037 AST_LANG,
00038
00039
00040
00041 SIMPLIFY_LANG,
00042
00043 TPTP_LANG
00044
00045 } InputLanguage;
00046
00047 inline InputLanguage getLanguage(const std::string& lang) {
00048 if (lang.size() > 0) {
00049 if(lang[0] == 'p') return PRESENTATION_LANG;
00050 if(lang[0] == 'l') return LISP_LANG;
00051 if(lang[0] == 'a') return AST_LANG;
00052 if(lang[0] == 't') return TPTP_LANG;
00053 if(lang[0] == 's') {
00054 if (lang.size() > 1 && lang[1] == 'i') return SIMPLIFY_LANG;
00055 else return SMTLIB_LANG;
00056 }
00057
00058 }
00059
00060 throw Exception("Bad input language specified");
00061 return AST_LANG;
00062 }
00063
00064 }
00065
00066 #endif