ibex::Inequality Class Reference
[Constraints]

Inequality. More...

#include <IbexConstraint.h>

Inheritance diagram for ibex::Inequality:

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
Static Public Member Functions
static const Inequality &	new_ (const Expr &left, CmpOpType op)
Public Attributes
const CmpOpType	op

---

Detailed Description

Inequality.

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

Author:

Gilles Chabert

Date:

March 2007

---

Member Function Documentation

static const Inequality& ibex::Inequality::new_	(	const Expr &	left,
		CmpOpType	op
	)			[inline, static]

Create a new inequaliy expression "expr op 0" where op belongs to {'<', '>', '<=', '>='}. The expression expr must be scalar.

void ibex::Inequality::accept_printer

(

const OperatorPrinter &

p

)

const [inline, virtual]

Accept the pretty printer.

Implements ibex::Constraint.

bool ibex::Inequality::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::Inequality::backward

(

Space &

space

)

const [virtual]

Backward evaluation.

Implements ibex::ArithConstraint.

virtual bool ibex::Inequality::is_equality

(

)

const [inline, virtual]

Return false.

Implements ibex::ArithConstraint.

---

Member Data Documentation

const CmpOpType ibex::Inequality::op

The comparison operator.

---

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

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