Choice storing position and value More...

Public Member Functions
	PosIntChoice (const Brancher &b, unsigned int a, int p, int n)
	Initialize choice for brancher b, number of alternatives a, position p, and value n.
int	pos (void) const
	Return position of view to assign.
int	val (void) const
	Return value to assign to.
virtual void	archive (Archive &e) const
	Archive into e.
Public Member Functions inherited from Gecode::Choice
unsigned int	alternatives (void) const
	Return number of alternatives.
virtual	~Choice (void)
	Destructor.

Additional Inherited Members
Static Public Member Functions inherited from Gecode::HeapAllocated
static void *	operator new (size_t s)
	Memory management.
static void	operator delete (void *p)
	Free memory allocated from heap.
Protected Member Functions inherited from Gecode::Choice
	Choice (const Brancher &b, const unsigned int a)
	Initialize for particular brancher b and alternatives a.

Detailed Description

Choice storing position and value

Definition at line 246 of file branch.hh.

Constructor & Destructor Documentation

Gecode::FlatZinc::PosIntChoice::PosIntChoice	(	const Brancher &	b,
		unsigned int	a,
		int	p,
		int	n )

inline

Initialize choice for brancher b, number of alternatives a, position p, and value n.

Definition at line 291 of file branch.hpp.

int Gecode::FlatZinc::PosIntChoice::pos ( void ) const

inline

Return position of view to assign.

Definition at line 294 of file branch.hpp.

int Gecode::FlatZinc::PosIntChoice::val ( void ) const

inline

Return value to assign to.

Definition at line 298 of file branch.hpp.

virtual void Gecode::FlatZinc::PosIntChoice::archive ( Archive & e ) const

virtual

Archive into e.

Reimplemented from Gecode::Choice.

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