Gecode::Int::LDSB::LDSBBrancher< View, n, Val, a, Filter, Print > Class Template Reference

Symmetry-breaking brancher with generic view and value selection. More...

#include <ldsb.hh>

List of all members.

Public Member Functions
virtual const Choice *	choice (Space &home)
	Return choice.
virtual const Choice *	choice (const Space &home, Archive &e)
	Return choice.
virtual ExecStatus	commit (Space &home, const Choice &c, unsigned int b)
	Perform commit for choice c and alternative b.
virtual Actor *	copy (Space &home)
	Perform cloning.
virtual size_t	dispose (Space &home)
	Delete brancher and return its size.
Static Public Member Functions
static void	post (Home home, ViewArray< View > &x, ViewSel< View > *vs[n], ValSelCommitBase< View, Val > *vsc, SymmetryImp< View > **syms, int nsyms, BranchFilter< Var > bf, VarValPrint< Var, Val > vvp)
	Brancher post function.
Public Attributes
SymmetryImp< View > **	_syms
	Array of symmetry implementations.
int	_nsyms
	Number of symmetry implementations.
int	_prevPos
Protected Member Functions
	LDSBBrancher (Space &home, LDSBBrancher &b)
	Constructor for cloning b.
	LDSBBrancher (Home home, ViewArray< View > &x, ViewSel< View > *vs[n], ValSelCommitBase< View, Val > *vsc, SymmetryImp< View > **syms, int nsyms, BranchFilter< Var > bf, VarValPrint< Var, Val > vvp)
	Constructor for creation.

---

Detailed Description

template<class View, int n, class Val, unsigned int a, class Filter, class Print>
class Gecode::Int::LDSB::LDSBBrancher< View, n, Val, a, Filter, Print >

Symmetry-breaking brancher with generic view and value selection.

Implements view-based branching for an array of views (of type View) and value (of type Val).

Definition at line 332 of file ldsb.hh.

---

Constructor & Destructor Documentation

template<class View , int n, class Val , unsigned int a, class Filter , class Print >

Gecode::Int::LDSB::LDSBBrancher< View, n, Val, a, Filter, Print >::LDSBBrancher	(	Space &	home,
		LDSBBrancher< View, n, Val, a, Filter, Print > &	b
	)			[inline, protected]

Constructor for cloning b.

Definition at line 125 of file brancher.hpp.

template<class View, int n, class Val, unsigned int a, class Filter, class Print>

Gecode::Int::LDSB::LDSBBrancher< View, n, Val, a, Filter, Print >::LDSBBrancher	(	Home	home,
		ViewArray< View > &	x,
		ViewSel< View > *	vs[n],
		ValSelCommitBase< View, Val > *	vsc,
		SymmetryImp< View > **	syms,
		int	nsyms,
		BranchFilter< Var >	bf,
		VarValPrint< Var, Val >	vvp
	)			[protected]

Constructor for creation.

---

Member Function Documentation

template<class View , int n, class Val , unsigned int a, class Filter , class Print >

const Choice * Gecode::Int::LDSB::LDSBBrancher< View, n, Val, a, Filter, Print >::choice

(

Space &

home

)

[inline, virtual]

Return choice.

Reimplemented from Gecode::ViewValBrancher< View, n, Val, a, Filter, Print >.

Reimplemented in Gecode::Set::LDSB::LDSBSetBrancher< View, n, Val, a, Filter, Print >.

Definition at line 148 of file brancher.hpp.

template<class View , int n, class Val , unsigned int a, class Filter , class Print >

const Choice * Gecode::Int::LDSB::LDSBBrancher< View, n, Val, a, Filter, Print >::choice	(	const Space &	home,
		Archive &	e
	)			[inline, virtual]

Return choice.

Reimplemented from Gecode::ViewValBrancher< View, n, Val, a, Filter, Print >.

Definition at line 199 of file brancher.hpp.

template<class View , int n, class Val , unsigned int a, class Filter , class Print >

ExecStatus Gecode::Int::LDSB::LDSBBrancher< View, n, Val, a, Filter, Print >::commit	(	Space &	home,
		const Choice &	c,
		unsigned int	b
	)			[inline, virtual]

Perform commit for choice c and alternative b.

Reimplemented from Gecode::ViewValBrancher< View, n, Val, a, Filter, Print >.

Reimplemented in Gecode::Set::LDSB::LDSBSetBrancher< View, n, Val, a, Filter, Print >.

Definition at line 232 of file brancher.hpp.

template<class View , int n, class Val , unsigned int a, class Filter , class Print >

Actor * Gecode::Int::LDSB::LDSBBrancher< View, n, Val, a, Filter, Print >::copy

(

Space &

home

)

[inline, virtual]

Perform cloning.

Reimplemented from Gecode::ViewValBrancher< View, n, Val, a, Filter, Print >.

Reimplemented in Gecode::Set::LDSB::LDSBSetBrancher< View, n, Val, a, Filter, Print >.

Definition at line 138 of file brancher.hpp.

template<class View , int n, class Val , unsigned int a, class Filter , class Print >

size_t Gecode::Int::LDSB::LDSBBrancher< View, n, Val, a, Filter, Print >::dispose

(

Space &

home

)

[inline, virtual]

Delete brancher and return its size.

Reimplemented from Gecode::ViewValBrancher< View, n, Val, a, Filter, Print >.

Definition at line 267 of file brancher.hpp.

template<class View, int n, class Val, unsigned int a, class Filter, class Print>

static void Gecode::Int::LDSB::LDSBBrancher< View, n, Val, a, Filter, Print >::post	(	Home	home,
		ViewArray< View > &	x,
		ViewSel< View > *	vs[n],
		ValSelCommitBase< View, Val > *	vsc,
		SymmetryImp< View > **	syms,
		int	nsyms,
		BranchFilter< Var >	bf,
		VarValPrint< Var, Val >	vvp
	)			[static]

Brancher post function.

Reimplemented in Gecode::Set::LDSB::LDSBSetBrancher< View, n, Val, a, Filter, Print >.

---

Member Data Documentation

template<class View, int n, class Val, unsigned int a, class Filter, class Print>

SymmetryImp<View>** Gecode::Int::LDSB::LDSBBrancher< View, n, Val, a, Filter, Print >::_syms

Array of symmetry implementations.

Definition at line 336 of file ldsb.hh.

template<class View, int n, class Val, unsigned int a, class Filter, class Print>

int Gecode::Int::LDSB::LDSBBrancher< View, n, Val, a, Filter, Print >::_nsyms

Number of symmetry implementations.

Definition at line 338 of file ldsb.hh.

template<class View, int n, class Val, unsigned int a, class Filter, class Print>

int Gecode::Int::LDSB::LDSBBrancher< View, n, Val, a, Filter, Print >::_prevPos

Reimplemented in Gecode::Set::LDSB::LDSBSetBrancher< View, n, Val, a, Filter, Print >.

Definition at line 340 of file ldsb.hh.

---

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

• gecode/int/ldsb.hh
• gecode/int/ldsb/brancher.hpp