ibex::Equality Class Reference
[Constraints]

Equality. More...

#include <IbexConstraint.h>

Inheritance diagram for ibex::Equality:

List of all members.

Public Member Functions
void	accept_printer (const OperatorPrinter &p) const
bool	feasible (const Space &space) const
void	backward (Space &space) const
virtual bool	is_equality () const

---

Detailed Description

Equality.

Example : sin(x+y)^2 = z-1.

Author:

Gilles Chabert

Date:

March 2007

---

Member Function Documentation

void ibex::Equality::accept_printer

(

const OperatorPrinter &

p

)

const [inline, virtual]

Accept the pretty printer.

Implements ibex::Constraint.

bool ibex::Equality::feasible

(

const Space &

space

)

const [virtual]

Check if the equation can be satisfied within the space using simple interval evaluation.

Returns:

false - if (it is proven that) the constraint is not satisfied,
true - otherwise.

Implements ibex::ArithConstraint.

void ibex::Equality::backward

(

Space &

space

)

const [virtual]

Backward evaluation.

Implements ibex::ArithConstraint.

virtual bool ibex::Equality::is_equality

(

)

const [inline, virtual]

Return true.

Implements ibex::ArithConstraint.

---

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

• src/IbexConstraint.h
• src/IbexConstraint.cpp