38 #ifndef __FLATZINC_PARSER_HH__
39 #define __FLATZINC_PARSER_HH__
46 #define YY_NO_UNISTD_H
48 extern "C" int isatty(
int);
55 #define strdup _strdup
56 #define fileno _fileno
68 #include <gecode/flatzinc/parser.tab.hh>
71 namespace Gecode {
namespace FlatZinc {
73 typedef std::pair<std::string,Option<std::vector<int>* > >
intvartype;
76 typedef std::pair<std::string, VarSpec*>
varspec;
83 const std::pair<std::string,AST::Node*>& y) {
84 return x.first < y.first;
204 std::vector<std::pair<std::string,AST::Node*> >
_output;
225 memcpy(lexBuf,
buf+
pos,num);
231 _output.push_back(std::pair<std::string,AST::Node*>(x,n));
238 for (
unsigned int i=0;
i<
_output.size();
i++) {
242 for (
unsigned int j=0; j<oa->
a.size(); j++) {
243 a->a.push_back(oa->
a[j]);