ibex::ExtendedSymbol Class Reference
[Expressions]

Extended symbol. More...

#include <IbexExpr.h>

Inheritance diagram for ibex::ExtendedSymbol:

List of all members.

Public Member Functions
const Equality &	operator= (const Expr &expr) const
const Equality &	operator= (const INTERVAL &value) const
	ExtendedSymbol (Env &env, int depth, int size, const Dim &dim, int key)
virtual void	acceptVisitor (Visitor &v) const =0
const SymbolWithIndex &	operator[] (int i) const
Public Attributes
int	key

---

Detailed Description

Extended symbol.

An extended symbol is a symbol with possibly one a several indexes such as x[1][2].

Author:

Gilles Chabert

Date:

2007

---

Constructor & Destructor Documentation

ibex::ExtendedSymbol::ExtendedSymbol	(	Env &	env,
		int	depth,
		int	size,
		const Dim &	dim,
		int	key
	)			[inline]

Create an indexed expression.

---

Member Function Documentation

const Equality& ibex::ExtendedSymbol::operator=

(

const Expr &

expr

)

const [inline]

Create an equality constraint symbol=expr.

Reimplemented from ibex::Expr.

Reimplemented in ibex::SymbolWithIndex, and ibex::Symbol.

const Equality& ibex::ExtendedSymbol::operator=

(

const INTERVAL &

value

)

const [inline]

Create an equality constraint symbol=value.

Reimplemented from ibex::Expr.

Reimplemented in ibex::SymbolWithIndex, and ibex::Symbol.

virtual void ibex::ExtendedSymbol::acceptVisitor

(

Visitor &

v

)

const [pure virtual]

Accept an ibex::Expr visitor.

Implements ibex::Expr.

Implemented in ibex::SymbolWithIndex, and ibex::Symbol.

const SymbolWithIndex & ibex::ExtendedSymbol::operator[]

(

int

i

)

const

Create an indexed symbol.

---

Member Data Documentation

int ibex::ExtendedSymbol::key

The environment key.

---

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

• src/IbexExpr.h
• src/IbexExpr.cpp