Generated on Mon Nov 30 23:53:48 2009 for Gecode by doxygen 1.6.1

Gecode::FlatZinc Namespace Reference

Interpreter for the FlatZinc language. More...

Namespaces

namespace  AST
 

Abstract syntax trees for the FlatZinc interpreter.


Classes

class  ConExpr
 Abstract representation of a constraint. More...
struct  Option
 Optional value. More...
class  ParserState
 State of the FlatZinc parser. More...
class  Registry
 Map from constraint identifier to constraint posting functions. More...
class  SymbolTable
 Symbol table mapping identifiers (strings) to values. More...
class  Alias
 Alias for a variable specification. More...
class  VarSpec
 Base class for variable specifications. More...
class  IntVarSpec
 Specification for integer variables. More...
class  BoolVarSpec
 Specification for Boolean variables. More...
class  FloatVarSpec
 Specification for floating point variables. More...
class  SetVarSpec
 Specification for set variables. More...
class  Printer
 Output support class for FlatZinc interpreter. More...
class  FlatZincOptions
 Options for running FlatZinc models. More...
class  FlatZincSpace
 A Space that can be initialized with a FlatZinc model. More...
class  Error
 Exception class for FlatZinc errors. More...

Typedefs

typedef std::pair< std::string,
Option< std::vector< int > * > > 
intvartype
typedef std::pair< std::string,
VarSpec * > 
varspec

Functions

IntSet vs2is (IntVarSpec *vs)
int vs2bsl (BoolVarSpec *bs)
int vs2bsh (BoolVarSpec *bs)
TieBreakVarBranch< IntVarBranchann2ivarsel (AST::Node *ann)
IntValBranch ann2ivalsel (AST::Node *ann)
SetVarBranch ann2svarsel (AST::Node *ann)
SetValBranch ann2svalsel (AST::Node *ann)
void flattenAnnotations (AST::Array *ann, std::vector< AST::Node * > &out)
Registryregistry (void)
 Return global registry object.
GECODE_FLATZINC_EXPORT
FlatZincSpace
solve (const std::string &fileName, Printer &p, std::ostream &err=std::cerr)
 Construct Space from FlatZinc file fileName.
GECODE_FLATZINC_EXPORT
FlatZincSpace
solve (std::istream &is, Printer &p, std::ostream &err=std::cerr)
 Construct Space from FlatZinc stream is.

Detailed Description

Interpreter for the FlatZinc language.

The Gecode::FlatZinc namespace contains all functionality required to parse and solve constraint models written in the FlatZinc language.


Typedef Documentation

typedef std::pair<std::string,Option<std::vector<int>* > > Gecode::FlatZinc::intvartype

Definition at line 72 of file parser.hh.

typedef std::pair<std::string, VarSpec*> Gecode::FlatZinc::varspec

Definition at line 74 of file parser.hh.


Function Documentation

IntSet Gecode::FlatZinc::vs2is ( IntVarSpec *  vs  ) 

Definition at line 49 of file flatzinc.cpp.

int Gecode::FlatZinc::vs2bsl ( BoolVarSpec *  bs  ) 

Definition at line 69 of file flatzinc.cpp.

int Gecode::FlatZinc::vs2bsh ( BoolVarSpec *  bs  ) 

Definition at line 81 of file flatzinc.cpp.

TieBreakVarBranch<IntVarBranch> Gecode::FlatZinc::ann2ivarsel ( AST::Node *  ann  ) 

Definition at line 93 of file flatzinc.cpp.

IntValBranch Gecode::FlatZinc::ann2ivalsel ( AST::Node *  ann  ) 

Definition at line 121 of file flatzinc.cpp.

SetVarBranch Gecode::FlatZinc::ann2svarsel ( AST::Node *  ann  ) 

Definition at line 145 of file flatzinc.cpp.

SetValBranch Gecode::FlatZinc::ann2svalsel ( AST::Node *  ann  ) 

Definition at line 164 of file flatzinc.cpp.

void Gecode::FlatZinc::flattenAnnotations ( AST::Array *  ann,
std::vector< AST::Node * > &  out 
)

Definition at line 286 of file flatzinc.cpp.

Registry & Gecode::FlatZinc::registry ( void   ) 

Return global registry object.

GECODE_FLATZINC_EXPORT FlatZincSpace* Gecode::FlatZinc::solve ( const std::string &  fileName,
Printer &  p,
std::ostream &  err = std::cerr 
)

Construct Space from FlatZinc file fileName.

GECODE_FLATZINC_EXPORT FlatZincSpace* Gecode::FlatZinc::solve ( std::istream &  is,
Printer &  p,
std::ostream &  err = std::cerr 
)

Construct Space from FlatZinc stream is.