Class for assigning zero. More...

#include <branch.hh>

Public Member Functions
	AssignValZero (void)
	Default constructor. More...

	AssignValZero (Space &home, const ValBranchOptions &vbo)
	Constructor for initialization. More...

Public Member Functions inherited from Gecode::Int::Branch::ValZeroOne< View >
	ValZeroOne (void)
	Default constructor. More...

	ValZeroOne (Space &home, const ValBranchOptions &vbo)
	Constructor for initialization. More...

NoValue	val (Space &home, View x) const
	Return no value of view x. More...

ModEvent	tell (Space &home, unsigned int a, View x, NoValue n)
	Tell (a = 0) or (a = 1) More...

Public Member Functions inherited from Gecode::ValSelBase< View, NoValue >
	ValSelBase (void)
	Default constructor. More...

	ValSelBase (Space &home, const ValBranchOptions &vbo)
	Constructor for initialization. More...

EmptyValSelChoice	choice (Space &home)
	Return choice. More...

EmptyValSelChoice	choice (const Space &home, Archive &e)
	Return choice. More...

void	commit (Space &home, const EmptyValSelChoice &c, unsigned a)
	Commit to choice. More...

void	update (Space &home, bool share, ValSelBase &vs)
	Updating during cloning. More...

void	dispose (Space &home)
	Delete value selection. More...

Additional Inherited Members
Public Types inherited from Gecode::ValSelBase< View, NoValue >
typedef View	View
	View type. More...

typedef NoValue	Val
	Value type. More...

typedef EmptyValSelChoice	Choice
	Choice type. More...

Detailed Description

Class for assigning zero.

Definition at line 286 of file branch.hh.

Constructor & Destructor Documentation

template<class View >

Gecode::Int::Branch::AssignValZero< View >::AssignValZero ( void )

inline

Default constructor.

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

template<class View >

Gecode::Int::Branch::AssignValZero< View >::AssignValZero	(	Space &	home,
		const ValBranchOptions &	vbo
	)

inline

Constructor for initialization.

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

template<class View>

const unsigned int Gecode::Int::Branch::AssignValZero< View >::alternatives = 1

static

Number of alternatives.

Definition at line 289 of file branch.hh.

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