Gecode::FlatZinc::BranchInformationO Class Reference

List of all members.

Public Member Functions
	BranchInformationO (void)
virtual	~BranchInformationO (void)
virtual SharedHandle::Object *	copy (void) const
	Return fresh copy for update.
void	add (const BrancherHandle &bh, const string &rel0, const string &rel1, const vector< string > &n)
	Add new brancher information.
void	print (const BrancherHandle &bh, int a, int i, int n, ostream &o) const
	Output branch information.
void	print (const BrancherHandle &bh, int a, int i, const FloatNumBranch &nl, ostream &o) const

---

Detailed Description

Definition at line 230 of file flatzinc.cpp.

---

Constructor & Destructor Documentation

Gecode::FlatZinc::BranchInformationO::BranchInformationO

(

void

)

[inline]

Definition at line 243 of file flatzinc.cpp.

virtual Gecode::FlatZinc::BranchInformationO::~BranchInformationO

(

void

)

[inline, virtual]

Definition at line 244 of file flatzinc.cpp.

---

Member Function Documentation

virtual SharedHandle::Object* Gecode::FlatZinc::BranchInformationO::copy

(

void

)

const [inline, virtual]

Return fresh copy for update.

Implements Gecode::SharedHandle::Object.

Definition at line 245 of file flatzinc.cpp.

void Gecode::FlatZinc::BranchInformationO::add	(	const BrancherHandle &	bh,
		const string &	rel0,
		const string &	rel1,
		const vector< string > &	n
	)			[inline]

Add new brancher information.

Definition at line 249 of file flatzinc.cpp.

void Gecode::FlatZinc::BranchInformationO::print	(	const BrancherHandle &	bh,
		int	a,
		int	i,
		int	n,
		ostream &	o
	)			const [inline]

Output branch information.

Definition at line 257 of file flatzinc.cpp.

void Gecode::FlatZinc::BranchInformationO::print	(	const BrancherHandle &	bh,
		int	a,
		int	i,
		const FloatNumBranch &	nl,
		ostream &	o
	)			const [inline]

Definition at line 263 of file flatzinc.cpp.

---

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

• gecode/flatzinc/flatzinc.cpp (Revision: 14463)