ast.hh
Go to the documentation of this file.
/* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */
/*
* Main authors:
* Guido Tack <tack@gecode.org>
*
* Copyright:
* Guido Tack, 2007
*
* This file is part of Gecode, the generic constraint
* development environment:
* http://www.gecode.org
*
* Permission is hereby granted, free of charge, to any person obtaining
* a copy of this software and associated documentation files (the
* "Software"), to deal in the Software without restriction, including
* without limitation the rights to use, copy, modify, merge, publish,
* distribute, sublicense, and/or sell copies of the Software, and to
* permit persons to whom the Software is furnished to do so, subject to
* the following conditions:
*
* The above copyright notice and this permission notice shall be
* included in all copies or substantial portions of the Software.
*
* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
* EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
* MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
* NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
* LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
* OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
* WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
*
*/
#ifndef __GECODE_FLATZINC_AST_HH__
#define __GECODE_FLATZINC_AST_HH__
#include <vector>
#include <string>
#include <iostream>
#include <cstdlib>
namespace Gecode { namespace FlatZinc { namespace AST {
class Call;
class Array;
class Atom;
class SetLit;
class GECODE_VTABLE_EXPORT TypeError {
private:
std::string _what;
public:
TypeError() : _what("") {}
TypeError(std::string what) : _what(what) {}
std::string what(void) const { return _what; }
};
class GECODE_VTABLE_EXPORT Node {
public:
virtual ~Node(void);
void append(Node* n);
bool hasAtom(const std::string& id);
bool isInt(int& i);
bool isFloat(double& i);
bool isCall(const std::string& id);
Call* getCall(void);
bool hasCall(const std::string& id);
Call* getCall(const std::string& id);
Array* getArray(void);
Atom* getAtom(void);
std::string getVarName(void);
int getIntVar(void);
int getBoolVar(void);
int getFloatVar(void);
int getSetVar(void);
int getInt(void);
bool getBool(void);
double getFloat(void);
SetLit *getSet(void);
std::string getString(void);
bool isIntVar(void);
bool isBoolVar(void);
bool isSetVar(void);
bool isFloatVar(void);
bool isInt(void);
bool isFloat(void);
bool isBool(void);
bool isString(void);
bool isArray(void);
bool isSet(void);
bool isAtom(void);
virtual void print(std::ostream&) = 0;
};
class GECODE_VTABLE_EXPORT BoolLit : public Node {
public:
bool b;
BoolLit(bool b0) : b(b0) {}
virtual void print(std::ostream& os) {
os << "b(" << (b ? "true" : "false") << ")";
}
};
class GECODE_VTABLE_EXPORT IntLit : public Node {
public:
int i;
IntLit(int i0) : i(i0) {}
virtual void print(std::ostream& os) {
os << "i("<<i<<")";
}
};
class GECODE_VTABLE_EXPORT FloatLit : public Node {
public:
double d;
FloatLit(double d0) : d(d0) {}
virtual void print(std::ostream& os) {
os << "f("<<d<<")";
}
};
class GECODE_VTABLE_EXPORT SetLit : public Node {
public:
bool interval;
int min; int max;
std::vector<int> s;
SetLit(void) {}
SetLit(int min0, int max0) : interval(true), min(min0), max(max0) {}
SetLit(const std::vector<int>& s0) : interval(false), s(s0) {}
explicit SetLit(SetLit* s0) : interval(s0->interval), min(s0->min), max(s0->max), s(s0->s) {}
bool empty(void) const {
return ( (interval && min>max) || (!interval && s.size() == 0));
}
virtual void print(std::ostream& os) {
os << "s()";
}
};
class GECODE_VTABLE_EXPORT Var : public Node {
public:
int i; //< Index
std::string n; //< Name
Var(int i0, const std::string& n0) : i(i0), n(n0) {}
};
class GECODE_VTABLE_EXPORT BoolVar : public Var {
public:
BoolVar(int i0, const std::string& n0="") : Var(i0,n0) {}
virtual void print(std::ostream& os) {
os << "xb("<<i<<")";
}
};
class GECODE_VTABLE_EXPORT IntVar : public Var {
public:
IntVar(int i0, const std::string& n0="") : Var(i0,n0) {}
virtual void print(std::ostream& os) {
os << "xi("<<i<<")";
}
};
class GECODE_VTABLE_EXPORT FloatVar : public Var {
public:
FloatVar(int i0, const std::string& n0="") : Var(i0,n0) {}
virtual void print(std::ostream& os) {
os << "xf("<<i<<")";
}
};
class GECODE_VTABLE_EXPORT SetVar : public Var {
public:
SetVar(int i0, const std::string& n0="") : Var(i0,n0) {}
virtual void print(std::ostream& os) {
os << "xs("<<i<<")";
}
};
class GECODE_VTABLE_EXPORT Array : public Node {
public:
std::vector<Node*> a;
Array(const std::vector<Node*>& a0)
: a(a0) {}
Array(Node* n)
: a(1) { a[0] = n; }
Array(int n=0) : a(n) {}
virtual void print(std::ostream& os) {
os << "[";
for (unsigned int i=0; i<a.size(); i++) {
a[i]->print(os);
if (i<a.size()-1)
os << ", ";
}
os << "]";
}
~Array(void) {
for (int i=a.size(); i--;)
delete a[i];
}
};
class GECODE_VTABLE_EXPORT Call : public Node {
public:
std::string id;
Node* args;
Call(const std::string& id0, Node* args0)
: id(id0), args(args0) {}
~Call(void) { delete args; }
virtual void print(std::ostream& os) {
os << id << "("; args->print(os); os << ")";
}
Array* getArgs(unsigned int n) {
Array *a = args->getArray();
if (a->a.size() != n)
throw TypeError("arity mismatch");
return a;
}
};
class GECODE_VTABLE_EXPORT ArrayAccess : public Node {
public:
Node* a;
Node* idx;
ArrayAccess(Node* a0, Node* idx0)
: a(a0), idx(idx0) {}
~ArrayAccess(void) { delete a; delete idx; }
virtual void print(std::ostream& os) {
a->print(os);
os << "[";
idx->print(os);
os << "]";
}
};
class GECODE_VTABLE_EXPORT Atom : public Node {
public:
std::string id;
Atom(const std::string& id0) : id(id0) {}
virtual void print(std::ostream& os) {
os << id;
}
};
class GECODE_VTABLE_EXPORT String : public Node {
public:
std::string s;
String(const std::string& s0) : s(s0) {}
virtual void print(std::ostream& os) {
os << "s(\"" << s << "\")";
}
};
inline
Node::~Node(void) {}
inline void
Node::append(Node* newNode) {
Array* a = dynamic_cast<Array*>(this);
if (!a)
throw TypeError("array expected");
a->a.push_back(newNode);
}
inline bool
Node::hasAtom(const std::string& id) {
if (Array* a = dynamic_cast<Array*>(this)) {
for (int i=a->a.size(); i--;)
if (Atom* at = dynamic_cast<Atom*>(a->a[i]))
if (at->id == id)
return true;
} else if (Atom* a = dynamic_cast<Atom*>(this)) {
return a->id == id;
}
return false;
}
inline bool
Node::isCall(const std::string& id) {
if (Call* a = dynamic_cast<Call*>(this)) {
if (a->id == id)
return true;
}
return false;
}
inline Call*
Node::getCall(void) {
if (Call* a = dynamic_cast<Call*>(this))
return a;
throw TypeError("call expected");
}
inline bool
Node::hasCall(const std::string& id) {
if (Array* a = dynamic_cast<Array*>(this)) {
for (int i=a->a.size(); i--;)
if (Call* at = dynamic_cast<Call*>(a->a[i]))
if (at->id == id) {
return true;
}
} else if (Call* a = dynamic_cast<Call*>(this)) {
return a->id == id;
}
return false;
}
inline bool
Node::isInt(int& i) {
if (IntLit* il = dynamic_cast<IntLit*>(this)) {
i = il->i;
return true;
}
return false;
}
inline bool
Node::isFloat(double& d) {
if (FloatLit* fl = dynamic_cast<FloatLit*>(this)) {
d = fl->d;
return true;
}
return false;
}
inline Call*
Node::getCall(const std::string& id) {
if (Array* a = dynamic_cast<Array*>(this)) {
for (int i=a->a.size(); i--;)
if (Call* at = dynamic_cast<Call*>(a->a[i]))
if (at->id == id)
return at;
} else if (Call* a = dynamic_cast<Call*>(this)) {
if (a->id == id)
return a;
}
throw TypeError("call expected");
}
inline Array*
Node::getArray(void) {
if (Array* a = dynamic_cast<Array*>(this))
return a;
throw TypeError("array expected");
}
inline Atom*
Node::getAtom(void) {
if (Atom* a = dynamic_cast<Atom*>(this))
return a;
throw TypeError("atom expected");
}
inline std::string
Node::getVarName(void) {
if (Var* a = dynamic_cast<Var*>(this))
return a->n;
throw TypeError("variable expected");
}
inline int
Node::getIntVar(void) {
if (IntVar* a = dynamic_cast<IntVar*>(this))
return a->i;
throw TypeError("integer variable expected");
}
inline int
Node::getBoolVar(void) {
if (BoolVar* a = dynamic_cast<BoolVar*>(this))
return a->i;
throw TypeError("bool variable expected");
}
inline int
Node::getFloatVar(void) {
if (FloatVar* a = dynamic_cast<FloatVar*>(this))
return a->i;
throw TypeError("integer variable expected");
}
inline int
Node::getSetVar(void) {
if (SetVar* a = dynamic_cast<SetVar*>(this))
return a->i;
throw TypeError("set variable expected");
}
inline int
Node::getInt(void) {
if (IntLit* a = dynamic_cast<IntLit*>(this))
return a->i;
throw TypeError("integer literal expected");
}
inline bool
Node::getBool(void) {
if (BoolLit* a = dynamic_cast<BoolLit*>(this))
return a->b;
throw TypeError("bool literal expected");
}
inline double
Node::getFloat(void) {
if (FloatLit* a = dynamic_cast<FloatLit*>(this))
return a->d;
throw TypeError("float literal expected");
}
inline SetLit*
Node::getSet(void) {
if (SetLit* a = dynamic_cast<SetLit*>(this))
return a;
throw TypeError("set literal expected");
}
inline std::string
Node::getString(void) {
if (String* a = dynamic_cast<String*>(this))
return a->s;
throw TypeError("string literal expected");
}
inline bool
Node::isIntVar(void) {
return (dynamic_cast<IntVar*>(this) != NULL);
}
inline bool
Node::isBoolVar(void) {
return (dynamic_cast<BoolVar*>(this) != NULL);
}
inline bool
Node::isSetVar(void) {
return (dynamic_cast<SetVar*>(this) != NULL);
}
inline bool
Node::isFloatVar(void) {
return (dynamic_cast<FloatVar*>(this) != NULL);
}
inline bool
Node::isInt(void) {
return (dynamic_cast<IntLit*>(this) != NULL);
}
inline bool
Node::isBool(void) {
return (dynamic_cast<BoolLit*>(this) != NULL);
}
inline bool
Node::isFloat(void) {
return (dynamic_cast<FloatLit*>(this) != NULL);
}
inline bool
Node::isSet(void) {
return (dynamic_cast<SetLit*>(this) != NULL);
}
inline bool
Node::isString(void) {
return (dynamic_cast<String*>(this) != NULL);
}
inline bool
Node::isArray(void) {
return (dynamic_cast<Array*>(this) != NULL);
}
inline bool
Node::isAtom(void) {
return (dynamic_cast<Atom*>(this) != NULL);
}
inline Node*
extractSingleton(Node* n) {
if (Array* a = dynamic_cast<Array*>(n)) {
if (a->a.size() == 1) {
Node *ret = a->a[0];
a->a[0] = NULL;
delete a;
return ret;
}
}
return n;
}
}}}
#endif
// STATISTICS: flatzinc-any
Gecode::FlatZinc::AST::ArrayAccess::print
virtual void print(std::ostream &os)
Output string representation.
Definition ast.hh:281
Gecode::FlatZinc::AST::ArrayAccess::ArrayAccess
ArrayAccess(Node *a0, Node *idx0)
Definition ast.hh:278
Gecode::FlatZinc::AST::ArrayAccess::~ArrayAccess
~ArrayAccess(void)
Definition ast.hh:280
Gecode::FlatZinc::AST::ArrayAccess::idx
Node * idx
Definition ast.hh:277
Gecode::FlatZinc::AST::ArrayAccess::a
Node * a
Definition ast.hh:276
Gecode::FlatZinc::AST::Array
Array node
Definition ast.hh:231
Gecode::FlatZinc::AST::Array::Array
Array(int n=0)
Definition ast.hh:238
Gecode::FlatZinc::AST::Array::Array
Array(const std::vector< Node * > &a0)
Definition ast.hh:234
Gecode::FlatZinc::AST::Array::print
virtual void print(std::ostream &os)
Output string representation.
Definition ast.hh:239
Gecode::FlatZinc::AST::Array::a
std::vector< Node * > a
Definition ast.hh:233
Gecode::FlatZinc::AST::Array::Array
Array(Node *n)
Definition ast.hh:236
Gecode::FlatZinc::AST::Array::~Array
~Array(void)
Definition ast.hh:248
Gecode::FlatZinc::AST::Atom
Node representing an atom
Definition ast.hh:290
Gecode::FlatZinc::AST::Atom::Atom
Atom(const std::string &id0)
Definition ast.hh:293
Gecode::FlatZinc::AST::Atom::print
virtual void print(std::ostream &os)
Output string representation.
Definition ast.hh:294
Gecode::FlatZinc::AST::Atom::id
std::string id
Definition ast.hh:292
Gecode::FlatZinc::AST::BoolLit
Boolean literal node.
Definition ast.hh:144
Gecode::FlatZinc::AST::BoolLit::print
virtual void print(std::ostream &os)
Output string representation.
Definition ast.hh:148
Gecode::FlatZinc::AST::BoolLit::BoolLit
BoolLit(bool b0)
Definition ast.hh:147
Gecode::FlatZinc::AST::BoolLit::b
bool b
Definition ast.hh:146
Gecode::FlatZinc::AST::BoolVar
Boolean variable node.
Definition ast.hh:197
Gecode::FlatZinc::AST::BoolVar::BoolVar
BoolVar(int i0, const std::string &n0="")
Constructor.
Definition ast.hh:200
Gecode::FlatZinc::AST::BoolVar::print
virtual void print(std::ostream &os)
Output string representation.
Definition ast.hh:201
Gecode::FlatZinc::AST::Call
Node representing a function call
Definition ast.hh:255
Gecode::FlatZinc::AST::Call::~Call
~Call(void)
Definition ast.hh:261
Gecode::FlatZinc::AST::Call::Call
Call(const std::string &id0, Node *args0)
Definition ast.hh:259
Gecode::FlatZinc::AST::Call::id
std::string id
Definition ast.hh:257
Gecode::FlatZinc::AST::Call::args
Node * args
Definition ast.hh:258
Gecode::FlatZinc::AST::Call::print
virtual void print(std::ostream &os)
Output string representation.
Definition ast.hh:262
Gecode::FlatZinc::AST::Call::getArgs
Array * getArgs(unsigned int n)
Definition ast.hh:265
Gecode::FlatZinc::AST::FloatLit
Float literal node.
Definition ast.hh:162
Gecode::FlatZinc::AST::FloatLit::FloatLit
FloatLit(double d0)
Definition ast.hh:165
Gecode::FlatZinc::AST::FloatLit::d
double d
Definition ast.hh:164
Gecode::FlatZinc::AST::FloatLit::print
virtual void print(std::ostream &os)
Output string representation.
Definition ast.hh:166
Gecode::FlatZinc::AST::FloatVar
Float variable node.
Definition ast.hh:214
Gecode::FlatZinc::AST::FloatVar::print
virtual void print(std::ostream &os)
Output string representation.
Definition ast.hh:217
Gecode::FlatZinc::AST::FloatVar::FloatVar
FloatVar(int i0, const std::string &n0="")
Definition ast.hh:216
Gecode::FlatZinc::AST::IntLit
Integer literal node.
Definition ast.hh:153
Gecode::FlatZinc::AST::IntLit::IntLit
IntLit(int i0)
Definition ast.hh:156
Gecode::FlatZinc::AST::IntLit::print
virtual void print(std::ostream &os)
Output string representation.
Definition ast.hh:157
Gecode::FlatZinc::AST::IntLit::i
int i
Definition ast.hh:155
Gecode::FlatZinc::AST::IntVar
Integer variable node.
Definition ast.hh:206
Gecode::FlatZinc::AST::IntVar::print
virtual void print(std::ostream &os)
Output string representation.
Definition ast.hh:209
Gecode::FlatZinc::AST::IntVar::IntVar
IntVar(int i0, const std::string &n0="")
Definition ast.hh:208
Gecode::FlatZinc::AST::Node
A node in a FlatZinc abstract syntax tree.
Definition ast.hh:67
Gecode::FlatZinc::AST::Node::isSetVar
bool isSetVar(void)
Test if node is a set variable node.
Definition ast.hh:478
Gecode::FlatZinc::AST::Node::getArray
Array * getArray(void)
Cast this node to an array node.
Definition ast.hh:396
Gecode::FlatZinc::AST::Node::isBool
bool isBool(void)
Test if node is a Boolean node.
Definition ast.hh:490
Gecode::FlatZinc::AST::Node::isFloatVar
bool isFloatVar(void)
Test if node is a float variable node.
Definition ast.hh:482
Gecode::FlatZinc::AST::Node::isSet
bool isSet(void)
Test if node is a set literal node.
Definition ast.hh:498
Gecode::FlatZinc::AST::Node::getFloat
double getFloat(void)
Cast this node to a Float node.
Definition ast.hh:452
Gecode::FlatZinc::AST::Node::hasCall
bool hasCall(const std::string &id)
Test if node is function call or array containing function call id.
Definition ast.hh:350
Gecode::FlatZinc::AST::Node::getFloatVar
int getFloatVar(void)
Cast this node to a Float variable node.
Definition ast.hh:428
Gecode::FlatZinc::AST::Node::isArray
bool isArray(void)
Test if node is an array node.
Definition ast.hh:506
Gecode::FlatZinc::AST::Node::append
void append(Node *n)
Append n to an array node.
Definition ast.hh:313
Gecode::FlatZinc::AST::Node::getSet
SetLit * getSet(void)
Cast this node to a set literal node.
Definition ast.hh:458
Gecode::FlatZinc::AST::Node::isFloat
bool isFloat(void)
Test if node is a float node.
Definition ast.hh:494
Gecode::FlatZinc::AST::Node::isString
bool isString(void)
Test if node is a string node.
Definition ast.hh:502
Gecode::FlatZinc::AST::Node::hasAtom
bool hasAtom(const std::string &id)
Test if node has atom with id.
Definition ast.hh:321
Gecode::FlatZinc::AST::Node::isInt
bool isInt(void)
Test if node is an integer node.
Definition ast.hh:486
Gecode::FlatZinc::AST::Node::isCall
bool isCall(const std::string &id)
Test if node is function call with id.
Definition ast.hh:334
Gecode::FlatZinc::AST::Node::isFloat
bool isFloat(double &i)
Test if node is float, if yes set d to the value.
Definition ast.hh:373
Gecode::FlatZinc::AST::Node::~Node
virtual ~Node(void)
Destructor.
Definition ast.hh:310
Gecode::FlatZinc::AST::Node::isInt
bool isInt(int &i)
Test if node is int, if yes set i to the value.
Definition ast.hh:364
Gecode::FlatZinc::AST::Node::getInt
int getInt(void)
Cast this node to an integer node.
Definition ast.hh:440
Gecode::FlatZinc::AST::Node::isAtom
bool isAtom(void)
Test if node is an atom node.
Definition ast.hh:510
Gecode::FlatZinc::AST::Node::isIntVar
bool isIntVar(void)
Test if node is an integer variable node.
Definition ast.hh:470
Gecode::FlatZinc::AST::Node::getAtom
Atom * getAtom(void)
Cast this node to an Atom node.
Definition ast.hh:403
Gecode::FlatZinc::AST::Node::getIntVar
int getIntVar(void)
Cast this node to an integer variable node.
Definition ast.hh:416
Gecode::FlatZinc::AST::Node::isBoolVar
bool isBoolVar(void)
Test if node is a Boolean variable node.
Definition ast.hh:474
Gecode::FlatZinc::AST::Node::getCall
Call * getCall(void)
Return function call.
Definition ast.hh:343
Gecode::FlatZinc::AST::Node::getVarName
std::string getVarName(void)
Return name of variable represented by this node.
Definition ast.hh:410
Gecode::FlatZinc::AST::Node::getBoolVar
int getBoolVar(void)
Cast this node to a Boolean variable node.
Definition ast.hh:422
Gecode::FlatZinc::AST::Node::print
virtual void print(std::ostream &)=0
Output string representation.
Gecode::FlatZinc::AST::Node::getSetVar
int getSetVar(void)
Cast this node to a set variable node.
Definition ast.hh:434
Gecode::FlatZinc::AST::Node::getBool
bool getBool(void)
Cast this node to a Boolean node.
Definition ast.hh:446
Gecode::FlatZinc::AST::Node::getString
std::string getString(void)
Cast this node to a string node.
Definition ast.hh:464
Gecode::FlatZinc::AST::SetLit
Set literal node
Definition ast.hh:171
Gecode::FlatZinc::AST::SetLit::max
int max
Definition ast.hh:174
Gecode::FlatZinc::AST::SetLit::empty
bool empty(void) const
Definition ast.hh:180
Gecode::FlatZinc::AST::SetLit::SetLit
SetLit(const std::vector< int > &s0)
Definition ast.hh:178
Gecode::FlatZinc::AST::SetLit::SetLit
SetLit(void)
Definition ast.hh:176
Gecode::FlatZinc::AST::SetLit::SetLit
SetLit(SetLit *s0)
Definition ast.hh:179
Gecode::FlatZinc::AST::SetLit::SetLit
SetLit(int min0, int max0)
Definition ast.hh:177
Gecode::FlatZinc::AST::SetLit::print
virtual void print(std::ostream &os)
Output string representation.
Definition ast.hh:183
Gecode::FlatZinc::AST::SetLit::min
int min
Definition ast.hh:174
Gecode::FlatZinc::AST::SetLit::interval
bool interval
Definition ast.hh:173
Gecode::FlatZinc::AST::SetLit::s
std::vector< int > s
Definition ast.hh:175
Gecode::FlatZinc::AST::SetVar
Set variable node
Definition ast.hh:222
Gecode::FlatZinc::AST::SetVar::SetVar
SetVar(int i0, const std::string &n0="")
Definition ast.hh:224
Gecode::FlatZinc::AST::SetVar::print
virtual void print(std::ostream &os)
Output string representation.
Definition ast.hh:225
Gecode::FlatZinc::AST::String
String node
Definition ast.hh:300
Gecode::FlatZinc::AST::String::String
String(const std::string &s0)
Definition ast.hh:303
Gecode::FlatZinc::AST::String::print
virtual void print(std::ostream &os)
Output string representation.
Definition ast.hh:304
Gecode::FlatZinc::AST::String::s
std::string s
Definition ast.hh:302
Gecode::FlatZinc::AST::TypeError
Exception signaling type error
Definition ast.hh:55
Gecode::FlatZinc::AST::TypeError::TypeError
TypeError()
Definition ast.hh:59
Gecode::FlatZinc::AST::TypeError::TypeError
TypeError(std::string what)
Definition ast.hh:60
Gecode::FlatZinc::AST::TypeError::what
std::string what(void) const
Definition ast.hh:61
Gecode::FlatZinc::AST::Var
Variable node base class.
Definition ast.hh:189
Gecode::FlatZinc::AST::Var::Var
Var(int i0, const std::string &n0)
Constructor.
Definition ast.hh:194
Gecode::FlatZinc::AST::Var::i
int i
Definition ast.hh:191
Gecode::FlatZinc::AST::Var::n
std::string n
Definition ast.hh:192
Gecode::FloatVal::size
FloatNum size(void) const
Return size of float value (distance between maximum and minimum).
Definition val.hpp:78
Gecode::FlatZinc::AST
Abstract syntax trees for the FlatZinc interpreter.
Gecode::FlatZinc::AST::extractSingleton
Node * extractSingleton(Node *n)
Definition ast.hh:515
Gecode::FlatZinc
Interpreter for the FlatZinc language.
Gecode
Gecode toplevel namespace
GECODE_VTABLE_EXPORT
#define GECODE_VTABLE_EXPORT
Definition support.hh:72