Example: Equidistant Frequency Permutation Arrays
More...
List of all members.
Public Member Functions |
| EFPA (const EFPAOptions &opt) |
| Actual model.
|
virtual void | print (std::ostream &os) const |
| Print instance and solution.
|
| EFPA (bool share, EFPA &s) |
| Constructor for cloning s.
|
virtual Space * | copy (bool share) |
| Copy during 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.
|
Detailed Description
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.
Constructor & Destructor Documentation
EFPA::EFPA |
( |
bool |
share, |
|
|
EFPA & |
s | |
|
) |
| | [inline] |
Constructor for cloning s.
Definition at line 291 of file efpa.cpp.
Member Function Documentation
virtual void EFPA::print |
( |
std::ostream & |
os |
) |
const [inline, virtual] |
virtual Space* EFPA::copy |
( |
bool |
share |
) |
[inline, virtual] |
Copy during cloning.
Definition at line 305 of file efpa.cpp.
Member Data Documentation
Number of sequences.
Definition at line 120 of file efpa.cpp.
Number of symbols.
Definition at line 121 of file efpa.cpp.
Number of sets of symbols for a sequence ().
Definition at line 122 of file efpa.cpp.
Length of sequence ().
Definition at line 124 of file efpa.cpp.
Number of sequence pairs ().
Definition at line 125 of file efpa.cpp.
Variables for sequences.
Definition at line 126 of file efpa.cpp.
Differences between sequences.
Definition at line 127 of file efpa.cpp.
The documentation for this class was generated from the following file: