Gecode::FlatZinc::BranchInformation Class Reference

#include <flatzinc.hh>

Public Member Functions
	BranchInformation (void)
	Constructor.
	BranchInformation (const BranchInformation &bi)
	Copy constructor.
void	init (void)
	Initialise for use.
void	add (BrancherGroup bg, const std::string &rel0, const std::string &rel1, const std::vector< std::string > &n)
	Add new brancher information.
void	print (const Brancher &b, unsigned int a, int i, int n, std::ostream &o) const
	Output branch information.
void	print (const Brancher &b, unsigned int a, int i, const FloatNumBranch &nl, std::ostream &o) const
	Output branch information.

Detailed Description

Definition at line 394 of file flatzinc.hh.

Gecode::FlatZinc::BranchInformation::BranchInformation ( void )

Constructor.

Definition at line 308 of file flatzinc.cpp.

Gecode::FlatZinc::BranchInformation::BranchInformation ( const BranchInformation & bi )

Copy constructor.

Definition at line 311 of file flatzinc.cpp.

void Gecode::FlatZinc::BranchInformation::init ( void )

Initialise for use.

Definition at line 315 of file flatzinc.cpp.

void Gecode::FlatZinc::BranchInformation::add	(	BrancherGroup	bg,
		const std::string &	rel0,
		const std::string &	rel1,
		const std::vector< std::string > &	n
	)

Add new brancher information.

Definition at line 321 of file flatzinc.cpp.

void Gecode::FlatZinc::BranchInformation::print	(	const Brancher &	b,
		unsigned int	a,
		int	i,
		int	n,
		std::ostream &	o
	)			const

Output branch information.

Definition at line 328 of file flatzinc.cpp.

void Gecode::FlatZinc::BranchInformation::print	(	const Brancher &	b,
		unsigned int	a,
		int	i,
		const FloatNumBranch &	nl,
		std::ostream &	o
	)			const

Output branch information.

Definition at line 334 of file flatzinc.cpp.

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