Example: Equidistant Frequency Permutation Arrays More...
Public Member Functions | |
EFPA (const EFPAOptions &opt) | |
Actual model. | |
virtual void | print (std::ostream &os) const |
Print instance and solution. | |
EFPA (EFPA &s) | |
Constructor for cloning s. | |
virtual Space * | copy (void) |
Copy during cloning. | |
Public Member Functions inherited from Gecode::Driver::ScriptBase< Driver::IgnoreStepOption< Space > > | |
ScriptBase (const Options &opt) | |
Constructor. | |
ScriptBase (ScriptBase &e) | |
Constructor used for cloning. | |
virtual void | compare (const Space &home, std::ostream &os) const |
Compare with s. | |
Public Member Functions inherited from Gecode::Driver::IgnoreStepOption< BaseSpace > | |
IgnoreStepOption (const Options &) | |
Constructor. | |
IgnoreStepOption (BaseSpace &e) | |
Constructor used for cloning. |
Protected Attributes | |
int | v |
Number of sequences. | |
int | q |
Number of symbols. | |
int | l |
Number of sets of symbols for a sequence ( ![]() | |
int | d |
Hamming distance between any pair of sequences. | |
int | n |
Length of sequence ( ![]() | |
int | nseqpair |
Number of sequence pairs ( ![]() | |
IntVarArray | c |
Variables for sequences. | |
BoolVarArray | diff |
Differences between sequences. |
Related Symbols | |
(Note that these are not member symbols.) | |
int | main (int argc, char *argv[]) |
Main-function. |
Additional Inherited Members | |
Static Public Member Functions inherited from Gecode::Driver::ScriptBase< Driver::IgnoreStepOption< Space > > | |
static std::ostream & | select_ostream (const char *sn, std::ofstream &ofs) |
Choose output stream according to sn. | |
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 |
|
inlinevirtual |
Print instance and solution.
Reimplemented from Gecode::Driver::ScriptBase< Driver::IgnoreStepOption< Space > >.
|
inlinevirtual |
|
protected |
|
protected |
|
protected |
|
protected |