Example: Alpha puzzle More...

Public Types
enum	{ BRANCH_NONE, BRANCH_INVERSE, BRANCH_SIZE }
	Branching to use for model. More...
Public Member Functions
	Alpha (const Options &opt)
	Actual model.
	Alpha (bool share, Alpha &s)
	Constructor for cloning s.
virtual Space *	copy (bool share)
	Copy during cloning.
virtual void	print (std::ostream &os) const
	Print solution.
Protected Attributes
IntVarArray	le
	Array for letters.
Static Protected Attributes
static const int	n = 26
	Alphabet has 26 letters.
Related Functions
(Note that these are not member functions.)
int	main (int argc, char *argv[])
	Main-function.

Detailed Description

Example: Alpha puzzle

Well-known cryptoarithmetic puzzle of unknown origin.

Definition at line 53 of file alpha.cpp.

Member Enumeration Documentation

anonymous enum

Branching to use for model.

Enumerator:

BRANCH_NONE	Choose variable left to right.
BRANCH_INVERSE	Choose variable right to left.
BRANCH_SIZE	Choose variable with smallest size.

Definition at line 61 of file alpha.cpp.

Constructor & Destructor Documentation

Alpha::Alpha ( const Options & opt ) [inline]

Actual model.

Definition at line 67 of file alpha.cpp.

Alpha::Alpha	(	bool	share,
		Alpha &	s
	)		`[inline]`

Constructor for cloning s.

Definition at line 112 of file alpha.cpp.

Member Function Documentation

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

Copy during cloning.

Definition at line 117 of file alpha.cpp.

virtual void Alpha::print ( std::ostream & os ) const [inline, virtual]

Print solution.

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

Definition at line 122 of file alpha.cpp.

Friends And Related Function Documentation

int main	(	int	argc,
		char *	argv[]
	)		`[related]`

Main-function.

Definition at line 137 of file alpha.cpp.

Member Data Documentation

const int Alpha::n = 26 [static, protected]

Alphabet has 26 letters.

Definition at line 56 of file alpha.cpp.

IntVarArray Alpha::le [protected]

Array for letters.

Definition at line 58 of file alpha.cpp.

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

examples/alpha.cpp (Revision: 11473)

Public Types

Public Member Functions

Protected Attributes