Test::Search::NaryBranching Class Reference

Inherits Gecode::Branching.

List of all members.

---

Detailed Description

Class for nary branchings.

Definition at line 115 of file search.cc.

Public Member Functions
	NaryBranching (Space *home, ViewArray< IntView > &x0)
	Constructor for creation.
virtual Actor *	copy (Space *home, bool share)
	Perform cloning.
virtual bool	status (const Space *) const
	Check status of branching, return true if alternatives left.
virtual const BranchingDesc *	description (const Space *) const
	Return branching description.
virtual ExecStatus	commit (Space *home, const BranchingDesc *d, unsigned int a)
	Perform commit for branching description d and alternative a.
virtual Reflection::ActorSpec	spec (Space *home, Reflection::VarMap &m)
	Return specification for this branching given a variable map m.
virtual Reflection::BranchingSpec	branchingSpec (Space *, Reflection::VarMap &, const BranchingDesc *d)
	Return specification for a branch.
Static Public Member Functions
static Support::Symbol	ati (void)
	Actor type identifier of this branching.
static void	post (Space *, Reflection::VarMap &, const Reflection::ActorSpec &)
	Post branching according to specification.
Protected Member Functions
	NaryBranching (Space *home, bool share, NaryBranching &b)
	Constructor for cloning b.
Protected Attributes
ViewArray< IntView >	x
	Views to branch on.

---

Constructor & Destructor Documentation

Test::Search::NaryBranching::NaryBranching	(	Space *	home,
		bool	share,
		NaryBranching &	b
	)			[inline, protected]

Constructor for cloning b.

Definition at line 120 of file search.cc.

Test::Search::NaryBranching::NaryBranching	(	Space *	home,
		ViewArray< IntView > &	x0
	)			[inline]

Constructor for creation.

Definition at line 126 of file search.cc.

---

Member Function Documentation

virtual Actor* Test::Search::NaryBranching::copy	(	Space *	home,
		bool	share
	)			[inline, virtual]

Perform cloning.

Implements Gecode::Actor.

Definition at line 129 of file search.cc.

virtual bool Test::Search::NaryBranching::status

(

const Space *

)

const [inline, virtual]

Check status of branching, return true if alternatives left.

Implements Gecode::Branching.

Definition at line 133 of file search.cc.

virtual const BranchingDesc* Test::Search::NaryBranching::description

(

const Space *

)

const [inline, virtual]

Return branching description.

Implements Gecode::Branching.

Definition at line 140 of file search.cc.

virtual ExecStatus Test::Search::NaryBranching::commit	(	Space *	home,
		const BranchingDesc *	d,
		unsigned int	a
	)			[inline, virtual]

Perform commit for branching description d and alternative a.

Implements Gecode::Branching.

Definition at line 147 of file search.cc.

static Support::Symbol Test::Search::NaryBranching::ati

(

void

)

[inline, static]

Actor type identifier of this branching.

Definition at line 154 of file search.cc.

virtual Reflection::ActorSpec Test::Search::NaryBranching::spec	(	Space *	home,
		Reflection::VarMap &	m
	)			[inline, virtual]

Return specification for this branching given a variable map m.

Definition at line 158 of file search.cc.

virtual Reflection::BranchingSpec Test::Search::NaryBranching::branchingSpec	(	Space *	,
		Reflection::VarMap &	,
		const BranchingDesc *	d
	)			[inline, virtual]

Return specification for a branch.

Definition at line 164 of file search.cc.

static void Test::Search::NaryBranching::post	(	Space *	,
		Reflection::VarMap &	,
		const Reflection::ActorSpec &
	)			[inline, static]

Post branching according to specification.

Definition at line 171 of file search.cc.

---

Member Data Documentation

ViewArray<IntView> Test::Search::NaryBranching::x [protected]

Views to branch on.

Definition at line 118 of file search.cc.

---

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

• test/search.cc (Revision: 6273)