Gecode::Float::Branch::ValCommitLqGq Class Reference
[Float value commit classes]

Value commit class for less or equal or greater or equal. More...

#include <branch.hh>

Public Member Functions
	ValCommitLqGq (Space &home, const ValBranch &vb)
	Constructor for initialization.
	ValCommitLqGq (Space &home, bool shared, ValCommitLqGq &vc)
	Constructor for cloning.
ModEvent	commit (Space &home, unsigned int a, FloatView x, int i, FloatNumBranch n)
	Commit view x at position i to value n for alternative a.
NGL *	ngl (Space &home, unsigned int a, FloatView x, FloatNumBranch n) const
	Create no-good literal for alternative a.
void	print (const Space &home, unsigned int a, FloatView x, int i, FloatNumBranch n, std::ostream &o) const
	Print on o the alternative with view x at position i and value n.

Detailed Description

Value commit class for less or equal or greater or equal.

Requires

 #include <gecode/float/branch.hh>

Definition at line 279 of file branch.hh.

Gecode::Float::Branch::ValCommitLqGq::ValCommitLqGq	(	Space &	home,
		const ValBranch &	vb
	)			`[inline]`

Constructor for initialization.

Definition at line 45 of file val-commit.hpp.

Gecode::Float::Branch::ValCommitLqGq::ValCommitLqGq	(	Space &	home,
		bool	shared,
		ValCommitLqGq &	vc
	)			`[inline]`

Constructor for cloning.

Definition at line 48 of file val-commit.hpp.

ModEvent Gecode::Float::Branch::ValCommitLqGq::commit	(	Space &	home,
		unsigned int	a,
		FloatView	x,
		int	i,
		FloatNumBranch	n
	)			`[inline]`

Commit view x at position i to value n for alternative a.

Definition at line 51 of file val-commit.hpp.

NGL * Gecode::Float::Branch::ValCommitLqGq::ngl	(	Space &	home,
		unsigned int	a,
		FloatView	x,
		FloatNumBranch	n
	)			const `[inline]`

Create no-good literal for alternative a.

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

void Gecode::Float::Branch::ValCommitLqGq::print	(	const Space &	home,
		unsigned int	a,
		FloatView	x,
		int	i,
		FloatNumBranch	n,
		std::ostream &	o
	)			const `[inline]`

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

Definition at line 71 of file val-commit.hpp.

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