GolombRuler Class Reference
[Example scripts (models)]

Example: Finding optimal Golomb rulers More...

Public Types
enum	{ SEARCH_BAB, SEARCH_RESTART }
	Search variants. More...
Public Member Functions
	GolombRuler (const SizeOptions &opt)
	Actual model.
virtual IntVar	cost (void) const
	Return cost.
virtual void	print (std::ostream &os) const
	Print solution.
	GolombRuler (bool share, GolombRuler &s)
	Constructor for cloning s.
virtual Space *	copy (bool share)
	Copy during cloning.
Protected Attributes
IntVarArray	m
	Array for ruler marks.

Detailed Description

Example: Finding optimal Golomb rulers

The script makes use of two lower bounds taken from: Barbara Smith, Kostas Stergiou, Toby Walsh, Modelling the Golomb Ruler Problem. In IJCAI 99 Workshop on Non-binary Constraints, 1999.

See also problem 6 at http://www.csplib.org/.

The upper bound used is from the trivial construction where distances between consecutive marks are increasing powers of two.

Note that "Modeling and Programming with Gecode" uses this example as a case study.

Definition at line 66 of file golomb-ruler.cpp.

Member Enumeration Documentation

anonymous enum

Search variants.

Enumerator:

SEARCH_BAB	Use branch and bound to optimize.
SEARCH_RESTART	Use restart to optimize.

Definition at line 72 of file golomb-ruler.cpp.

Constructor & Destructor Documentation

GolombRuler::GolombRuler ( const SizeOptions & opt ) [inline]

Actual model.

Definition at line 77 of file golomb-ruler.cpp.

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

Constructor for cloning s.

Definition at line 122 of file golomb-ruler.cpp.

Member Function Documentation

virtual IntVar GolombRuler::cost ( void ) const [inline, virtual]

Return cost.

Definition at line 111 of file golomb-ruler.cpp.

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

Print solution.

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

Definition at line 117 of file golomb-ruler.cpp.

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

Copy during cloning.

Definition at line 128 of file golomb-ruler.cpp.

Member Data Documentation

IntVarArray GolombRuler::m [protected]

Array for ruler marks.

Definition at line 69 of file golomb-ruler.cpp.

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

examples/golomb-ruler.cpp (Revision: 12357)

GolombRuler Class Reference [Example scripts (models)]

Public Types