Gecode::FlatZinc::IntBoolBrancher< Merit > Class Template Reference

Brancher for integer and Boolean views. More...

#include <branch.hh>

List of all members.

Public Member Functions
virtual const Choice *	choice (Space &home)
	Return choice.
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< Int::IntView > x, ViewArray< Int::BoolView > y, Merit &m, ValSelCommitBase< Int::IntView, int > *xvsc, ValSelCommitBase< Int::BoolView, int > *yvsc)
	Post brancher.
Protected Member Functions
	IntBoolBrancher (Space &home, IntBoolBrancher &b)
	Constructor for cloning b.
	IntBoolBrancher (Home home, ViewArray< Int::IntView > x, ViewArray< Int::BoolView > y, Merit &m, ValSelCommitBase< Int::IntView, int > *xvsc, ValSelCommitBase< Int::BoolView, int > *yvsc)
	Constructor for creation.
Protected Attributes
Merit	merit
	Selection by maximal merit.

---

Detailed Description

template<class Merit>
class Gecode::FlatZinc::IntBoolBrancher< Merit >

Brancher for integer and Boolean views.

Definition at line 303 of file branch.hh.

---

Constructor & Destructor Documentation

template<class Merit >

Gecode::FlatZinc::IntBoolBrancher< Merit >::IntBoolBrancher	(	Space &	home,
		IntBoolBrancher< Merit > &	b
	)			[inline, protected]

Constructor for cloning b.

Definition at line 359 of file branch.hpp.

template<class Merit >

Gecode::FlatZinc::IntBoolBrancher< Merit >::IntBoolBrancher	(	Home	home,
		ViewArray< Int::IntView >	x,
		ViewArray< Int::BoolView >	y,
		Merit &	m,
		ValSelCommitBase< Int::IntView, int > *	xvsc,
		ValSelCommitBase< Int::BoolView, int > *	yvsc
	)			[inline, protected]

Constructor for creation.

Definition at line 336 of file branch.hpp.

---

Member Function Documentation

template<class Merit >

const Choice * Gecode::FlatZinc::IntBoolBrancher< Merit >::choice

(

Space &

home

)

[inline, virtual]

Return choice.

Implements Gecode::FlatZinc::IntBoolBrancherBase.

Definition at line 371 of file branch.hpp.

template<class Merit >

Actor * Gecode::FlatZinc::IntBoolBrancher< Merit >::copy

(

Space &

home

)

[inline, virtual]

Perform cloning.

Implements Gecode::Actor.

Definition at line 365 of file branch.hpp.

template<class Merit >

void Gecode::FlatZinc::IntBoolBrancher< Merit >::post	(	Home	home,
		ViewArray< Int::IntView >	x,
		ViewArray< Int::BoolView >	y,
		Merit &	m,
		ValSelCommitBase< Int::IntView, int > *	xvsc,
		ValSelCommitBase< Int::BoolView, int > *	yvsc
	)			[inline, static]

Post brancher.

Definition at line 347 of file branch.hpp.

template<class Merit >

size_t Gecode::FlatZinc::IntBoolBrancher< Merit >::dispose

(

Space &

home

)

[inline, virtual]

Delete brancher and return its size.

Reimplemented from Gecode::FlatZinc::IntBoolBrancherBase.

Definition at line 413 of file branch.hpp.

---

Member Data Documentation

template<class Merit>

Merit Gecode::FlatZinc::IntBoolBrancher< Merit >::merit [protected]

Selection by maximal merit.

Definition at line 306 of file branch.hh.

---

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

• gecode/flatzinc/branch.hh
• gecode/flatzinc/branch.hpp