Example: Equidistant Frequency Permutation Arrays More...
Public Member Functions | |
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... | |
Protected Attributes | |
int | v |
Number of sequences. More... | |
int | q |
Number of symbols. More... | |
int | l |
Number of sets of symbols for a sequence ( ![]() | |
int | d |
Hamming distance between any pair of sequences. More... | |
int | n |
Length of sequence ( ![]() | |
int | nseqpair |
Number of sequence pairs ( ![]() | |
IntVarArray | c |
Variables for sequences. More... | |
BoolVarArray | diff |
Differences between sequences. More... | |
Related Functions | |
(Note that these are not member functions.) | |
int | main (int argc, char *argv[]) |
Main-function. More... | |
Additional Inherited Members | |
![]() | |
static std::ostream & | select_ostream (const char *name, std::ofstream &ofs) |
Choose output stream according to name. More... | |
template<class Script , template< class > class Engine, class Options > | |
static void | run (const Options &opt, Script *s=NULL) |
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.
|
inline |
|
inline |
|
inlinevirtual |
Print instance and solution.
Reimplemented from Gecode::Driver::ScriptBase< BaseSpace >.
|
inlinevirtual |
|
related |
|
protected |
|
protected |
|
protected |
|
protected |