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 121 of file efpa.cpp.
Constructor & Destructor Documentation
| EFPA::EFPA |
( |
bool |
share, |
|
|
EFPA & |
s | |
|
) |
| | [inline] |
Constructor for cloning s.
Definition at line 296 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 310 of file efpa.cpp.
Member Data Documentation
Number of sequences.
Definition at line 123 of file efpa.cpp.
Number of symbols.
Definition at line 124 of file efpa.cpp.
Number of sets of symbols for a sequence (
).
Definition at line 125 of file efpa.cpp.
Length of sequence (
).
Definition at line 127 of file efpa.cpp.
Number of sequence pairs (
).
Definition at line 128 of file efpa.cpp.
Variables for sequences.
Definition at line 129 of file efpa.cpp.
Differences between sequences.
Definition at line 130 of file efpa.cpp.
The documentation for this class was generated from the following file: