Gecode::Int::Branch::PosValuesChoice Class Reference

Choice storing position and values for integer views More...

Public Member Functions
	PosValuesChoice (const Brancher &b, const Pos &p, IntView x)
	Initialize choice for brancher b, position p, and view x.
	PosValuesChoice (const Brancher &b, unsigned int alt, Pos p, Archive &e)
	Initialize choice for brancher b from archive e.
int	val (unsigned int a) const
	Return value to branch with for alternative a.
virtual	~PosValuesChoice (void)
	Deallocate.
virtual void	archive (Archive &e) const
	Archive into e.

Detailed Description

Choice storing position and values for integer views

Definition at line 37 of file view-values.hpp.

Gecode::Int::Branch::PosValuesChoice::PosValuesChoice	(	const Brancher &	b,
		const Pos &	p,
		IntView	x
	)

Initialize choice for brancher b, position p, and view x.

Definition at line 38 of file view-values.cpp.

Gecode::Int::Branch::PosValuesChoice::PosValuesChoice	(	const Brancher &	b,
		unsigned int	alt,
		Pos	p,
		Archive &	e
	)

Initialize choice for brancher b from archive e.

Definition at line 53 of file view-values.cpp.

Gecode::Int::Branch::PosValuesChoice::~PosValuesChoice ( void ) [virtual]

Deallocate.

Definition at line 64 of file view-values.cpp.

int Gecode::Int::Branch::PosValuesChoice::val ( unsigned int a ) const [inline]

Return value to branch with for alternative a.

Definition at line 69 of file view-values.hpp.

void Gecode::Int::Branch::PosValuesChoice::archive ( Archive & e ) const [inline, virtual]

Archive into e.

Reimplemented from Gecode::PosChoice.

Definition at line 69 of file view-values.cpp.

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