ibex::Octum Class Reference

OCTUM (Optimal contractor under monotonicity). More...

#include <IbexOctum.h>

Inheritance diagram for ibex::Octum:

List of all members.

Public Member Functions
	Octum (const Equality &equ, Space &space)
	Octum (const Octum &m)
	~Octum ()
Octum *	copy () const
void	accept_printer (const OperatorPrinter &p) const
void	contract ()

---

Detailed Description

OCTUM (Optimal contractor under monotonicity).

See description in [cha09a].

Author:

Gilles Chabert

Date:

April 2009

---

Constructor & Destructor Documentation

ibex::Octum::Octum	(	const Equality &	equ,
		Space &	space
	)			[inline]

Create the Octum contractor for an equation, on a given space.

ibex::Octum::Octum

(

const Octum &

m

)

[inline]

Duplicate this instance.

ibex::Octum::~Octum

(

)

[inline]

Delete this isntance.

---

Member Function Documentation

Octum* ibex::Octum::copy

(

)

const [inline, virtual]

Implement the contractor abstract copy.

Implements ibex::Contractor.

void ibex::Octum::accept_printer

(

const OperatorPrinter &

p

)

const [inline, virtual]

Accept the pretty printer.

Reimplemented from ibex::Operator.

void ibex::Octum::contract

(

)

[virtual]

Contract.

Implements ibex::Contractor.

---

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

• src/IbexOctum.h
• src/IbexOctum.cpp