|
| EFPA (const EFPAOptions &opt) |
| Actual model. More...
|
|
virtual void | print (std::ostream &os) const |
| Print instance and solution. More...
|
|
| EFPA (bool share, EFPA &s) |
| Constructor for cloning s. More...
|
|
virtual Space * | copy (bool share) |
| Copy during cloning. More...
|
|
| ScriptBase (void) |
| Default constructor. More...
|
|
| ScriptBase (bool share, ScriptBase &e) |
| Constructor used for cloning. More...
|
|
virtual void | compare (const Space &, std::ostream &os) const |
| Compare with s. More...
|
|
template<class Script , template< class > class Engine, class Options > |
void | run (const Options &o, Script *s) |
|
template<class Script , template< class > class Engine, class Options , template< template< class > class, class > class Meta> |
void | runMeta (const Options &o, Script *s) |
|
Example: Equidistant Frequency Permutation Arrays
This example solves instances of the equidistant frequency permutation arrays problem.
The model of the problem is mostly taken from "Modelling
Equidistant Frequency Permutation Arrays in Constraints", by Ian P. Gent, Paul McKay, Peter Nightingale, and Sophie Huczynska. It implements the non-Boolean model without SAC.
Definition at line 118 of file efpa.cpp.