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 nonBoolean 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: