ibex::Symbol Class Reference
[Expressions]

Symbol. More...

#include <IbexExpr.h>

Inheritance diagram for ibex::Symbol:

List of all members.

Public Member Functions
const Equality &	operator= (const Expr &expr) const
const Equality &	operator= (const INTERVAL &value) const
virtual void	acceptVisitor (Visitor &v) const
	~Symbol ()
Static Public Member Functions
static const Symbol &	new_ (Env &env, const char *name, const Dim &dim, int key)
Public Attributes
const char *	name

---

Detailed Description

Symbol.

An instance of this class represents a leaf in the syntax tree. This leaf merely contains the symbol of an entity.

Author:

Gilles Chabert

Date:

2007

---

Constructor & Destructor Documentation

ibex::Symbol::~Symbol

(

)

[inline]

Deletes this instance.

---

Member Function Documentation

const Equality& ibex::Symbol::operator=

(

const Expr &

expr

)

const [inline]

Create an equality constraint symbol=expr.

Reimplemented from ibex::ExtendedSymbol.

const Equality& ibex::Symbol::operator=

(

const INTERVAL &

value

)

const [inline]

Create an equality constraint symbol=value.

Reimplemented from ibex::ExtendedSymbol.

static const Symbol& ibex::Symbol::new_	(	Env &	env,
		const char *	name,
		const Dim &	dim,
		int	key
	)			[inline, static]

Create a symbol.

virtual void ibex::Symbol::acceptVisitor

(

Visitor &

v

)

const [inline, virtual]

Accept an ibex::Expr visitor.

Implements ibex::ExtendedSymbol.

---

Member Data Documentation

const char* ibex::Symbol::name

The symbol identifier.

---

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

• src/IbexExpr.h