00001 /* 00002 * mistral-parser.h 00003 * 00004 * Created on: Nov 15, 2011 00005 * Author: isil 00006 */ 00007 00008 00009 #ifndef MISTRAL_SMT_PARSER_H_ 00010 #define MISTRAL_SMT_PARSER_H_ 00011 00012 #include <string> 00013 using namespace std; 00014 00015 00016 00017 00018 CNode* smtlib_parse_constraint(const string & s, void (*write_fn)(string)); 00019 00020 00021 00022 00023 #endif /* MISTRAL_SMT_PARSER_H_ */
1.7.6.1