ibex::Precision Class Reference
[Contractors]

Precision contractor. More...

#include <IbexPaver.h>

Inheritance diagram for ibex::Precision:

List of all members.

Public Member Functions
	Precision (Space &space, REAL ceil)
	Precision (const Precision &p)
virtual Contractor *	copy () const
void	contract ()
Public Attributes
const REAL	ceil

---

Detailed Description

Precision contractor.

Stop criterion for pavers . This contractor usually controls the precision of solutions of a solver: when the interval diameter of all the variables in the current box is lower than ceil , the box is entirely contracted (unfeasibility exception). Solutions are therefore usually associated to this contractor in a solving process. Precision of solutions is directly related to the parameter ceil .

Author:

Gilles Chabert

Date:

January 2008

---

Constructor & Destructor Documentation

ibex::Precision::Precision	(	Space &	space,
		REAL	ceil
	)			[inline]

Create a bisection stopping contractor of ceilision ceil.

ibex::Precision::Precision

(

const Precision &

p

)

[inline]

Copy constructor.

---

Member Function Documentation

virtual Contractor* ibex::Precision::copy

(

)

const [inline, virtual]

Implement the generic contractor copy.

Implements ibex::Contractor.

void ibex::Precision::contract

(

)

[virtual]

Contract.

Implements ibex::Contractor.

---

Member Data Documentation

const REAL ibex::Precision::ceil

The precision.

---

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

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