ibex::Certification Class Reference
[Contractors]

Certification contractor. More...

#include <IbexCertification.h>

Inheritance diagram for ibex::Certification:

List of all members.

Public Member Functions
	Certification (const Contractor &prover, const Contractor &funnel, REAL ceil)
	Certification (const Certification &c)
virtual Contractor *	copy () const
void	contract ()
Public Attributes
const REAL	ceil

---

Detailed Description

Certification contractor.

Date:

Sept 2009 (last update)

Author:

Gilles Chabert

---

Constructor & Destructor Documentation

ibex::Certification::Certification	(	const Contractor &	prover,
		const Contractor &	funnel,
		REAL	ceil
	)			[inline]

Create a certification contractor based on the strict contraction of a subcontractor prover. This contractor allows to prove if a box contains a solution.

First, the proof test is performed if the diameter box is less than ceil. Then, the box is inflated on each dimension by half of the ceil. The subcontractor prover is called. If the result is a strict contraction (the resulting subbox is in the interior of the inflated box) then the subcontractor funnel is applied in order to "wedge" this intermediate box inside the initial box. In case of succes, an UnfeasibilityException is thrown. If any of the two previous steps fails, the initial box is left intact.

ibex::Certification::Certification

(

const Certification &

c

)

[inline]

Copy constructor.

---

Member Function Documentation

virtual Contractor* ibex::Certification::copy

(

)

const [inline, virtual]

Implement the generic contractor copy.

Implements ibex::Contractor.

void ibex::Certification::contract

(

)

[virtual]

Contract.

Implements ibex::Contractor.

---

Member Data Documentation

const REAL ibex::Certification::ceil

The precision.

---

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

• src/IbexCertification.h
• src/IbexCertification.cpp