Gecode::FlatZinc::FlatZincSpace Class Reference

A space that can be initialized with a FlatZinc model. More...

#include <flatzinc.hh>

Public Types
enum	Meth { SAT, MIN, MAX }
Public Member Functions
	FlatZincSpace (void)
	Construct empty space.
	~FlatZincSpace (void)
	Destructor.
void	init (int intVars, int boolVars, int setVars)
	Initialize space with given number of variables.
void	newIntVar (IntVarSpec *vs)
	Create new integer variable from specification.
void	aliasBool2Int (int iv, int bv)
	Link integer variable iv to Boolean variable bv.
int	aliasBool2Int (int iv)
	Return linked Boolean variable for integer variable iv.
void	newBoolVar (BoolVarSpec *vs)
	Create new Boolean variable from specification.
void	newSetVar (SetVarSpec *vs)
	Create new set variable from specification.
void	postConstraint (const ConExpr &ce, AST::Node *annotation)
	Post a constraint specified by ce.
void	solve (AST::Array *annotation)
	Post the solve item.
void	minimize (int var, AST::Array *annotation)
	Post that integer variable var should be minimized.
void	maximize (int var, AST::Array *annotation)
	Post that integer variable var should be maximized.
void	run (std::ostream &out, const Printer &p, const FlatZincOptions &opt, Gecode::Support::Timer &t_total)
	Run the search.
void	print (std::ostream &out, const Printer &p) const
	Produce output on out using p.
void	shrinkArrays (Printer &p)
	Remove all variables not needed for output.
Meth	method (void) const
	Return whether to solve a satisfaction or optimization problem.
int	optVar (void) const
	Return index of variable used for optimization.
void	createBranchers (AST::Node *ann, int seed, bool ignoreUnknown, std::ostream &err=std::cerr)
	Create branchers corresponding to the solve item annotations.
AST::Array *	solveAnnotations (void) const
	Return the solve item annotations.
virtual void	constrain (const Space &s)
	Implement optimization.
virtual Gecode::Space *	copy (bool share)
	Copy function.
Public Attributes
Gecode::IntVarArray	iv
	The integer variables.
std::vector< bool >	iv_introduced
	Indicates whether an integer variable is introduced by mzn2fzn.
int *	iv_boolalias
	Indicates whether an integer variable aliases a Boolean variable.
Gecode::BoolVarArray	bv
	The Boolean variables.
std::vector< bool >	bv_introduced
	Indicates whether a Boolean variable is introduced by mzn2fzn.
Gecode::SetVarArray	sv
	The set variables.
std::vector< bool >	sv_introduced
	Indicates whether a set variable is introduced by mzn2fzn.
Protected Member Functions
	FlatZincSpace (bool share, FlatZincSpace &)
	Copy constructor.
Protected Attributes
int	intVarCount
	Number of integer variables.
int	boolVarCount
	Number of Boolean variables.
int	setVarCount
	Number of set variables.
int	_optVar
	Index of the integer variable to optimize.
Meth	_method
	Whether to solve as satisfaction or optimization problem.
AST::Array *	_solveAnnotations
	Annotations on the solve item.

Detailed Description

A space that can be initialized with a FlatZinc model.

Definition at line 256 of file flatzinc.hh.

Member Enumeration Documentation

enum Gecode::FlatZinc::FlatZincSpace::Meth

Enumerator:

SAT
MIN
MAX

Definition at line 258 of file flatzinc.hh.

Constructor & Destructor Documentation

Gecode::FlatZinc::FlatZincSpace::FlatZincSpace	(	bool	share,
		FlatZincSpace &	f
	)			`[protected]`

Copy constructor.

Definition at line 218 of file flatzinc.cpp.

Gecode::FlatZinc::FlatZincSpace::FlatZincSpace ( void )

Construct empty space.

Definition at line 232 of file flatzinc.cpp.

Gecode::FlatZinc::FlatZincSpace::~FlatZincSpace ( void )

Destructor.

Definition at line 571 of file flatzinc.cpp.

Member Function Documentation

void Gecode::FlatZinc::FlatZincSpace::init	(	int	intVars,
		int	boolVars,
		int	setVars
	)

Initialize space with given number of variables.

Definition at line 237 of file flatzinc.cpp.

void Gecode::FlatZinc::FlatZincSpace::newIntVar ( IntVarSpec * vs )

Create new integer variable from specification.

Definition at line 258 of file flatzinc.cpp.

void Gecode::FlatZinc::FlatZincSpace::aliasBool2Int	(	int	iv,
		int	bv
	)

Link integer variable iv to Boolean variable bv.

Definition at line 275 of file flatzinc.cpp.

int Gecode::FlatZinc::FlatZincSpace::aliasBool2Int ( int iv )

Return linked Boolean variable for integer variable iv.

Definition at line 279 of file flatzinc.cpp.

void Gecode::FlatZinc::FlatZincSpace::newBoolVar ( BoolVarSpec * vs )

Create new Boolean variable from specification.

Definition at line 284 of file flatzinc.cpp.

void Gecode::FlatZinc::FlatZincSpace::newSetVar ( SetVarSpec * vs )

Create new set variable from specification.

Definition at line 295 of file flatzinc.cpp.

void Gecode::FlatZinc::FlatZincSpace::postConstraint	(	const ConExpr &	ce,
		AST::Node *	annotation
	)

Post a constraint specified by ce.

Definition at line 340 of file flatzinc.cpp.

void Gecode::FlatZinc::FlatZincSpace::solve ( AST::Array * annotation )

Post the solve item.

Definition at line 530 of file flatzinc.cpp.

void Gecode::FlatZinc::FlatZincSpace::minimize	(	int	var,
		AST::Array *	annotation
	)

Post that integer variable var should be minimized.

Definition at line 536 of file flatzinc.cpp.

void Gecode::FlatZinc::FlatZincSpace::maximize	(	int	var,
		AST::Array *	annotation
	)

Post that integer variable var should be maximized.

Definition at line 554 of file flatzinc.cpp.

void Gecode::FlatZinc::FlatZincSpace::run	(	std::ostream &	out,
		const Printer &	p,
		const FlatZincOptions &	opt,
		Gecode::Support::Timer &	t_total
	)

Run the search.

Definition at line 776 of file flatzinc.cpp.

void Gecode::FlatZinc::FlatZincSpace::print	(	std::ostream &	out,
		const Printer &	p
	)			const

Produce output on out using p.

Definition at line 818 of file flatzinc.cpp.

void Gecode::FlatZinc::FlatZincSpace::shrinkArrays ( Printer & p )

Remove all variables not needed for output.

After calling this function, no new constraints can be posted through FlatZinc variable references, and the createBranchers method must not be called again.

Definition at line 827 of file flatzinc.cpp.

FlatZincSpace::Meth Gecode::FlatZinc::FlatZincSpace::method ( void ) const

Return whether to solve a satisfaction or optimization problem.

Definition at line 808 of file flatzinc.cpp.

int Gecode::FlatZinc::FlatZincSpace::optVar ( void ) const

Return index of variable used for optimization.

Definition at line 813 of file flatzinc.cpp.