Gecode::ValCommitFunction< View > Class Template Reference
[Generic value commit for brancher based on view and value selection]

Class for user-defined value commit. More...

#include <brancher-val-commit.hpp>

List of all members.

Public Types
typedef View::VarType	Var
	The corresponding variable type.
typedef BranchTraits< Var >::Commit	CommitFunction
	The corresponding commit function.
Public Member Functions
	ValCommitFunction (Space &home, const ValBranch &vb)
	Constructor for initialization.
	ValCommitFunction (Space &home, bool shared, ValCommitFunction &vc)
	Constructor for cloning during copying.
ModEvent	commit (Space &home, unsigned int a, View x, int i, Val n)
	Perform user-defined commit.
NGL *	ngl (Space &home, unsigned int a, View x, Val n) const
	Create no-good literal for alternative a.
void	print (const Space &home, unsigned int a, View x, int i, const Val &n, std::ostream &o) const
	Print on o the alternative with view x at position i and value n.
Protected Attributes
CommitFunction	c
	The user-defined commit function.

---

Detailed Description

template<class View>
class Gecode::ValCommitFunction< View >

Class for user-defined value commit.

Definition at line 67 of file brancher-val-commit.hpp.

---

Member Typedef Documentation

template<class View>

typedef View::VarType Gecode::ValCommitFunction< View >::Var

The corresponding variable type.

Definition at line 75 of file brancher-val-commit.hpp.

template<class View>

typedef BranchTraits<Var>::Commit Gecode::ValCommitFunction< View >::CommitFunction

The corresponding commit function.

Definition at line 77 of file brancher-val-commit.hpp.

---

Constructor & Destructor Documentation

template<class View >

Gecode::ValCommitFunction< View >::ValCommitFunction	(	Space &	home,
		const ValBranch &	vb
	)			[inline]

Constructor for initialization.

Definition at line 116 of file brancher-val-commit.hpp.

template<class View >

Gecode::ValCommitFunction< View >::ValCommitFunction	(	Space &	home,
		bool	shared,
		ValCommitFunction< View > &	vc
	)			[inline]

Constructor for cloning during copying.

Definition at line 122 of file brancher-val-commit.hpp.

---

Member Function Documentation

template<class View >

ModEvent Gecode::ValCommitFunction< View >::commit	(	Space &	home,
		unsigned int	a,
		View	x,
		int	i,
		Val	n
	)			[inline]

Perform user-defined commit.

Definition at line 127 of file brancher-val-commit.hpp.

template<class View >

NGL * Gecode::ValCommitFunction< View >::ngl	(	Space &	home,
		unsigned int	a,
		View	x,
		Val	n
	)			const [inline]

Create no-good literal for alternative a.

Definition at line 135 of file brancher-val-commit.hpp.

template<class View >

void Gecode::ValCommitFunction< View >::print	(	const Space &	home,
		unsigned int	a,
		View	x,
		int	i,
		const Val &	n,
		std::ostream &	o
	)			const [inline]

Print on o the alternative with view x at position i and value n.

Definition at line 140 of file brancher-val-commit.hpp.

---

Member Data Documentation

template<class View>

CommitFunction Gecode::ValCommitFunction< View >::c [protected]

The user-defined commit function.

Definition at line 80 of file brancher-val-commit.hpp.

---

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

• gecode/kernel/brancher-val-commit.hpp (Revision: 13801)