ibex::Entity Class Reference

Entity. More...

#include <IbexSpace.h>

List of all members.

Public Member Functions
bool	used () const
Public Attributes
int	key
EntityType	type
INTERVAL *	domain
INTERVAL *	deriv
Static Public Attributes
static INTERVAL	IGNORE

---

Detailed Description

Entity.

An entity is a symbol x with an associated domain and type. The way x takes values within the domain can have different semantics, and this is what the type indicates. Then, x can either be a variable, a quantified parameter or a symbolic constant.

IBEX_VAR can also designate functions arguments bound to domains that do not correspond to actual symbols but subexpressions. For instance, if x->f(x) and y->g(y) are two functions, then, in f(g(y)), symbol x is bound to a domain g(y). It is just a part of an interval computation.

Author:

Gilles Chabert

Date:

October 2007

---

Member Function Documentation

bool ibex::Entity::used

(

)

const [inline]

Return true if the symbol is used.

---

Member Data Documentation

int ibex::Entity::key

Environment number of the corresponding symbol.

EntityType ibex::Entity::type

Type (e.g., IBEX_VAR).

INTERVAL* ibex::Entity::domain

Domain where the symbol takes values.

INTERVAL* ibex::Entity::deriv [mutable]

Pointer to the domain of a partial derivative w.r.t. this entity, used in derivation procedures (see ibex::Env).

INTERVAL ibex::Entity::IGNORE [static]

Used when the domain (or the derivative) is of no interest.

---

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

• src/IbexSpace.h
• src/IbexSpace.cpp