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