Gecode::Int::Branch::AssignValRnd< View > Class Template Reference

Class for assigning random value. More...

#include <branch.hh>

List of all members.

Public Member Functions
	AssignValRnd (void)
	Default constructor.
	AssignValRnd (Space &home, const ValBranchOptions &vbo)
	Constructor for initialization.
Static Public Attributes
static const unsigned int	alternatives = 1
	Number of alternatives.

---

Detailed Description

template<class View>
class Gecode::Int::Branch::AssignValRnd< View >

Class for assigning random value.

Definition at line 274 of file branch.hh.

---

Constructor & Destructor Documentation

template<class View >

Gecode::Int::Branch::AssignValRnd< View >::AssignValRnd

(

void

)

[inline]

Default constructor.

Definition at line 210 of file select-val.hpp.

template<class View >

Gecode::Int::Branch::AssignValRnd< View >::AssignValRnd	(	Space &	home,
		const ValBranchOptions &	vbo
	)		[inline]

Constructor for initialization.

Definition at line 213 of file select-val.hpp.

---

Member Data Documentation

template<class View>

const unsigned int Gecode::Int::Branch::AssignValRnd< View >::alternatives = 1 [static]

Number of alternatives.

Reimplemented from Gecode::Int::Branch::ValRnd< View >.

Definition at line 277 of file branch.hh.

---

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

• gecode/int/branch.hh (Revision: 12001)
• gecode/int/branch/select-val.hpp (Revision: 12001)