ibex::NotIn Class Reference
[Constraints]

Non-membership constraint. More...

#include <IbexConstraint.h>

Inheritance diagram for ibex::NotIn:

List of all members.

Public Member Functions
void	accept_printer (const OperatorPrinter &p) const
void	forward (const Space &space) const
void	backward (Space &space) const
virtual bool	is_equality () const
Public Attributes
const Expr &	left
const Expr &	right
Protected Attributes
Evaluator	l_evl

---

Detailed Description

Non-membership constraint.

This constraint forbids the image by a given function to belong to an interval.

Remark: This constraint is mainly used with a right-hand side interval constant (via the "not-in" keyword). Example: x+y not-in [z]

Author:

Gilles Chabert

Date:

June 2009

---

Member Function Documentation

void ibex::NotIn::accept_printer

(

const OperatorPrinter &

p

)

const [inline, virtual]

Accept the pretty printer.

Implements ibex::Constraint.

void ibex::NotIn::forward

(

const Space &

space

)

const [virtual]

Forward evaluation.

Implements ibex::Constraint.

void ibex::NotIn::backward

(

Space &

space

)

const [virtual]

Backward evaluation.

Implements ibex::Constraint.

virtual bool ibex::NotIn::is_equality

(

)

const [inline, virtual]

Return true.

Implements ibex::Constraint.

---

Member Data Documentation

const Expr& ibex::NotIn::left

The left expression.

const Expr& ibex::NotIn::right

The right expression (should be a constant).

Evaluator ibex::NotIn::l_evl [protected]

Evaluators.

---

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

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