ibex::LargestFirst Class Reference
[Paver]

Largest-domain first bisector. More...

#include <IbexBisector.h>

Inheritance diagram for ibex::LargestFirst:

List of all members.

Public Member Functions
	LargestFirst (Space &space, REAL ratio=Bisector::default_ratio)
	LargestFirst (const LargestFirst &lf)
virtual LargestFirst *	copy () const
virtual void	accept_printer (const OperatorPrinter &p) const
Bisection	bisect ()

---

Detailed Description

Largest-domain first bisector.

Author:

Gilles Chabert

Date:

October 2007

---

Constructor & Destructor Documentation

ibex::LargestFirst::LargestFirst	(	Space &	space,
		REAL	ratio = Bisector::default_ratio
	)			[inline]

Create a bisector with largest-domain-first heuristic.

Parameters:

	space	- The space, passed by reference.
	ratio	(optional) - the ratio between the diameters of the left and the right parts of the bisected interval. Default value is 0.5, i.e. the interval is bisected at the midpoint.

ibex::LargestFirst::LargestFirst

(

const LargestFirst &

lf

)

[inline]

Duplicate this instance (space is passed by reference).

---

Member Function Documentation

virtual LargestFirst* ibex::LargestFirst::copy

(

)

const [inline, virtual]

Implement the contractor abstract copy.

Implements ibex::Bisector.

virtual void ibex::LargestFirst::accept_printer

(

const OperatorPrinter &

p

)

const [inline, virtual]

Accept the pretty printer.

Reimplemented from ibex::Operator.

Bisection ibex::LargestFirst::bisect

(

)

[virtual]

Bisect the box.

Implements ibex::Bisector.

---

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

• src/IbexBisector.h
• src/IbexBisector.cpp