A space that can be initialized with a FlatZinc model. More...
#include <flatzinc.hh>
Public Types | |
enum | Meth { SAT, MIN, MAX } |
Public Member Functions | |
FlatZincSpace (void) | |
Construct empty space. | |
~FlatZincSpace (void) | |
Destructor. | |
void | init (int intVars, int boolVars, int setVars) |
Initialize space with given number of variables. | |
void | newIntVar (IntVarSpec *vs) |
Create new integer variable from specification. | |
void | aliasBool2Int (int iv, int bv) |
Link integer variable iv to Boolean variable bv. | |
int | aliasBool2Int (int iv) |
Return linked Boolean variable for integer variable iv. | |
void | newBoolVar (BoolVarSpec *vs) |
Create new Boolean variable from specification. | |
void | newSetVar (SetVarSpec *vs) |
Create new set variable from specification. | |
void | postConstraint (const ConExpr &ce, AST::Node *annotation) |
Post a constraint specified by ce. | |
void | solve (AST::Array *annotation) |
Post the solve item. | |
void | minimize (int var, AST::Array *annotation) |
Post that integer variable var should be minimized. | |
void | maximize (int var, AST::Array *annotation) |
Post that integer variable var should be maximized. | |
void | run (std::ostream &out, const Printer &p, const FlatZincOptions &opt, Gecode::Support::Timer &t_total) |
Run the search. | |
void | print (std::ostream &out, const Printer &p) const |
Produce output on out using p. | |
void | shrinkArrays (Printer &p) |
Remove all variables not needed for output. | |
Meth | method (void) const |
Return whether to solve a satisfaction or optimization problem. | |
int | optVar (void) const |
Return index of variable used for optimization. | |
void | createBranchers (AST::Node *ann, int seed, bool ignoreUnknown, std::ostream &err=std::cerr) |
Create branchers corresponding to the solve item annotations. | |
AST::Array * | solveAnnotations (void) const |
Return the solve item annotations. | |
virtual void | constrain (const Space &s) |
Implement optimization. | |
virtual Gecode::Space * | copy (bool share) |
Copy function. | |
Public Attributes | |
Gecode::IntVarArray | iv |
The integer variables. | |
std::vector< bool > | iv_introduced |
Indicates whether an integer variable is introduced by mzn2fzn. | |
int * | iv_boolalias |
Indicates whether an integer variable aliases a Boolean variable. | |
Gecode::BoolVarArray | bv |
The Boolean variables. | |
std::vector< bool > | bv_introduced |
Indicates whether a Boolean variable is introduced by mzn2fzn. | |
Gecode::SetVarArray | sv |
The set variables. | |
std::vector< bool > | sv_introduced |
Indicates whether a set variable is introduced by mzn2fzn. | |
Protected Member Functions | |
FlatZincSpace (bool share, FlatZincSpace &) | |
Copy constructor. | |
Protected Attributes | |
int | intVarCount |
Number of integer variables. | |
int | boolVarCount |
Number of Boolean variables. | |
int | setVarCount |
Number of set variables. | |
int | _optVar |
Index of the integer variable to optimize. | |
Meth | _method |
Whether to solve as satisfaction or optimization problem. | |
AST::Array * | _solveAnnotations |
Annotations on the solve item. |
A space that can be initialized with a FlatZinc model.
Definition at line 259 of file flatzinc.hh.
Definition at line 261 of file flatzinc.hh.
Gecode::FlatZinc::FlatZincSpace::FlatZincSpace | ( | bool | share, |
FlatZincSpace & | f | ||
) | [protected] |
Copy constructor.
Definition at line 218 of file flatzinc.cpp.
Gecode::FlatZinc::FlatZincSpace::FlatZincSpace | ( | void | ) |
Construct empty space.
Definition at line 232 of file flatzinc.cpp.
Gecode::FlatZinc::FlatZincSpace::~FlatZincSpace | ( | void | ) |
Destructor.
Definition at line 565 of file flatzinc.cpp.
void Gecode::FlatZinc::FlatZincSpace::init | ( | int | intVars, |
int | boolVars, | ||
int | setVars | ||
) |
Initialize space with given number of variables.
Definition at line 237 of file flatzinc.cpp.
void Gecode::FlatZinc::FlatZincSpace::newIntVar | ( | IntVarSpec * | vs | ) |
Create new integer variable from specification.
Definition at line 258 of file flatzinc.cpp.
void Gecode::FlatZinc::FlatZincSpace::aliasBool2Int | ( | int | iv, |
int | bv | ||
) |
Link integer variable iv to Boolean variable bv.
Definition at line 269 of file flatzinc.cpp.
int Gecode::FlatZinc::FlatZincSpace::aliasBool2Int | ( | int | iv | ) |
Return linked Boolean variable for integer variable iv.
Definition at line 273 of file flatzinc.cpp.
void Gecode::FlatZinc::FlatZincSpace::newBoolVar | ( | BoolVarSpec * | vs | ) |
Create new Boolean variable from specification.
Definition at line 278 of file flatzinc.cpp.
void Gecode::FlatZinc::FlatZincSpace::newSetVar | ( | SetVarSpec * | vs | ) |
Create new set variable from specification.
Definition at line 289 of file flatzinc.cpp.
Post a constraint specified by ce.
Definition at line 334 of file flatzinc.cpp.
void Gecode::FlatZinc::FlatZincSpace::solve | ( | AST::Array * | annotation | ) |
Post the solve item.
Definition at line 524 of file flatzinc.cpp.
void Gecode::FlatZinc::FlatZincSpace::minimize | ( | int | var, |
AST::Array * | annotation | ||
) |
Post that integer variable var should be minimized.
Definition at line 530 of file flatzinc.cpp.
void Gecode::FlatZinc::FlatZincSpace::maximize | ( | int | var, |
AST::Array * | annotation | ||
) |
Post that integer variable var should be maximized.
Definition at line 548 of file flatzinc.cpp.
void Gecode::FlatZinc::FlatZincSpace::run | ( | std::ostream & | out, |
const Printer & | p, | ||
const FlatZincOptions & | opt, | ||
Gecode::Support::Timer & | t_total | ||
) |
Run the search.
Definition at line 769 of file flatzinc.cpp.
void Gecode::FlatZinc::FlatZincSpace::print | ( | std::ostream & | out, |
const Printer & | p | ||
) | const |
Produce output on out using p.
Definition at line 811 of file flatzinc.cpp.
void Gecode::FlatZinc::FlatZincSpace::shrinkArrays | ( | Printer & | p | ) |
Remove all variables not needed for output.
After calling this function, no new constraints can be posted through FlatZinc variable references, and the createBranchers method must not be called again.
Definition at line 820 of file flatzinc.cpp.
FlatZincSpace::Meth Gecode::FlatZinc::FlatZincSpace::method | ( | void | ) | const |
Return whether to solve a satisfaction or optimization problem.
Definition at line 801 of file flatzinc.cpp.
int Gecode::FlatZinc::FlatZincSpace::optVar | ( | void | ) | const |
Return index of variable used for optimization.
Definition at line 806 of file flatzinc.cpp.
void Gecode::FlatZinc::FlatZincSpace::createBranchers | ( | AST::Node * | ann, |
int | seed, | ||
bool | ignoreUnknown, | ||
std::ostream & | err = std::cerr |
||
) |
Create branchers corresponding to the solve item annotations.
If ignoreUnknown is true, unknown solve item annotations will be ignored, otherwise a warning is written to err.
The seed for random branchers is given by the seed parameter.
Definition at line 359 of file flatzinc.cpp.
AST::Array * Gecode::FlatZinc::FlatZincSpace::solveAnnotations | ( | void | ) | const |
Return the solve item annotations.
Definition at line 519 of file flatzinc.cpp.
void Gecode::FlatZinc::FlatZincSpace::constrain | ( | const Space & | s | ) | [virtual] |
Implement optimization.
Reimplemented from Gecode::Space.
Definition at line 786 of file flatzinc.cpp.
Space * Gecode::FlatZinc::FlatZincSpace::copy | ( | bool | share | ) | [virtual] |
int Gecode::FlatZinc::FlatZincSpace::intVarCount [protected] |
Number of integer variables.
Definition at line 268 of file flatzinc.hh.
int Gecode::FlatZinc::FlatZincSpace::boolVarCount [protected] |
Number of Boolean variables.
Definition at line 270 of file flatzinc.hh.
int Gecode::FlatZinc::FlatZincSpace::setVarCount [protected] |
Number of set variables.
Definition at line 272 of file flatzinc.hh.
int Gecode::FlatZinc::FlatZincSpace::_optVar [protected] |
Index of the integer variable to optimize.
Definition at line 275 of file flatzinc.hh.
Meth Gecode::FlatZinc::FlatZincSpace::_method [protected] |
Whether to solve as satisfaction or optimization problem.
Definition at line 278 of file flatzinc.hh.
Annotations on the solve item.
Definition at line 281 of file flatzinc.hh.
The integer variables.
Definition at line 295 of file flatzinc.hh.
std::vector<bool> Gecode::FlatZinc::FlatZincSpace::iv_introduced |
Indicates whether an integer variable is introduced by mzn2fzn.
Definition at line 297 of file flatzinc.hh.
Indicates whether an integer variable aliases a Boolean variable.
Definition at line 299 of file flatzinc.hh.
The Boolean variables.
Definition at line 301 of file flatzinc.hh.
std::vector<bool> Gecode::FlatZinc::FlatZincSpace::bv_introduced |
Indicates whether a Boolean variable is introduced by mzn2fzn.
Definition at line 303 of file flatzinc.hh.
The set variables.
Definition at line 306 of file flatzinc.hh.
std::vector<bool> Gecode::FlatZinc::FlatZincSpace::sv_introduced |
Indicates whether a set variable is introduced by mzn2fzn.
Definition at line 308 of file flatzinc.hh.