Generated on Thu Mar 22 10:39:51 2012 for Gecode by doxygen 1.6.3

EFPA Class Reference
[Example scripts (models)]

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 Spacecopy (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 ($\lambda$).
int d
 Hamming distance between any pair of sequences.
int n
 Length of sequence ($q\cdot\lambda$).
int nseqpair
 Number of sequence pairs ($\frac{v(v-1)}{2}$).
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 ( const EFPAOptions opt  )  [inline]

Actual model.

Definition at line 131 of file efpa.cpp.

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]

Print instance and solution.

Reimplemented from Gecode::Driver::ScriptBase< BaseSpace >.

Definition at line 281 of file efpa.cpp.

virtual Space* EFPA::copy ( bool  share  )  [inline, virtual]

Copy during cloning.

Definition at line 305 of file efpa.cpp.


Member Data Documentation

int EFPA::v [protected]

Number of sequences.

Definition at line 120 of file efpa.cpp.

int EFPA::q [protected]

Number of symbols.

Definition at line 121 of file efpa.cpp.

int EFPA::l [protected]

Number of sets of symbols for a sequence ($\lambda$).

Definition at line 122 of file efpa.cpp.

int EFPA::d [protected]

Hamming distance between any pair of sequences.

Definition at line 123 of file efpa.cpp.

int EFPA::n [protected]

Length of sequence ($q\cdot\lambda$).

Definition at line 124 of file efpa.cpp.

int EFPA::nseqpair [protected]

Number of sequence pairs ($\frac{v(v-1)}{2}$).

Definition at line 125 of file efpa.cpp.

IntVarArray EFPA::c [protected]

Variables for sequences.

Definition at line 126 of file efpa.cpp.

BoolVarArray EFPA::diff [protected]

Differences between sequences.

Definition at line 127 of file efpa.cpp.


The documentation for this class was generated from the following file: