ibex::Minimizer Class Reference
[Contractors]

Minimizer contractor. More...

#include <IbexPaver.h>

Inheritance diagram for ibex::Minimizer:

List of all members.

Public Member Functions
	Minimizer (const Contractor &c, int minimize, int minimum)
	~Minimizer ()
	Minimizer (const Minimizer &m)
virtual Contractor *	copy () const
void	contract ()
Public Attributes
Contractor &	ctc
int	minimize
int	minimum

---

Detailed Description

Minimizer contractor.

Takes a sub-contractor as argument. Each time the sub-contractor throw an UnfeasibilityException, the upper bound is updated.

Author:

Gilles Chabert

Date:

June 2010

---

Constructor & Destructor Documentation

ibex::Minimizer::Minimizer	(	const Contractor &	c,
		int	minimize,
		int	minimum
	)

• minimize - Component of the parameter vector (epx) to be minimized in the space. Default value is -1 (no optimization).
• minimum - Component of the constant vector (sbx) to contain the minimum in the space. sbx(minimumn+1) will be used to store the best upper bound found so far for the minimum of epx(minimize+1) (and +oo if there is no criterion to be minimized).

Warning:

the "minimum" constant is actually not a "constant" since it is modified. Default value is -1 (no optimization).

ibex::Minimizer::~Minimizer

(

)

Delete this contractor.

ibex::Minimizer::Minimizer

(

const Minimizer &

m

)

Copy constructor.

---

Member Function Documentation

virtual Contractor* ibex::Minimizer::copy

(

)

const [inline, virtual]

Implement the generic contractor copy.

Implements ibex::Contractor.

void ibex::Minimizer::contract

(

)

[virtual]

Contract.

Implements ibex::Contractor.

---

Member Data Documentation

Contractor& ibex::Minimizer::ctc

Sub-contractor

int ibex::Minimizer::minimize

Component of the parameter vector (epx) to be minimized in the space. Default value is -1 (no optimization).

int ibex::Minimizer::minimum

Component of the constant vector (sbx) to contain the minimum in the space. sbx(minimumn+1) will be used to store the best upper bound found so far for the minimum of epx(minimize+1) (and +oo if there is no criterion to be minimized).

Warning:

this constant is actually not a "constant" since it is modified. Default value is -1 (no optimization).

---

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

• src/IbexPaver.h
• src/IbexPaver.cpp