ibex::Apply Class Reference
[Expressions]

Function application expression. More...

#include <IbexExpr.h>

Inheritance diagram for ibex::Apply:

List of all members.

Public Member Functions
const Equality &	operator= (const Expr &expr) const
const Equality &	operator= (const INTERVAL &value) const
	~Apply ()
const Expr &	arg (int i) const
virtual void	acceptVisitor (Visitor &v) const
Static Public Member Functions
static const Apply &	new_ (Env &env, const char *f, const vector< const Expr * > &arguments)
Public Attributes
const char *	f
const int	n
const Expr **	args

---

Detailed Description

Function application expression.

In the following Quimper example:

 Variables
   a in [0,10];

 function z=foo(x,y)
   z=sqrt(x^2+y^2);
 end;
 
 Constraints
   foo(a,1-a)=1
 ...

f(a,1-a) is an instance of Apply, where f is "foo" and the actual arguments arg(0) and arg(1) are the subexpressions a and 1-a.

Author:

Gilles Chabert

Date:

December 2007

---

Constructor & Destructor Documentation

ibex::Apply::~Apply

(

)

Deletes this instance.

---

Member Function Documentation

const Equality& ibex::Apply::operator=

(

const Expr &

expr

)

const [inline]

Create an equality constraint apply=expr.

Reimplemented from ibex::Expr.

const Equality& ibex::Apply::operator=

(

const INTERVAL &

value

)

const [inline]

Create an equality constraint apply=value.

Reimplemented from ibex::Expr.

static const Apply& ibex::Apply::new_	(	Env &	env,
		const char *	f,
		const vector< const Expr * > &	arguments
	)			[inline, static]

Create a new function application.

const Expr& ibex::Apply::arg

(

int

i

)

const [inline]

Return a reference to the ith argument expression.

virtual void ibex::Apply::acceptVisitor

(

Visitor &

v

)

const [inline, virtual]

Accept an ibex::Expr visitor.

Implements ibex::Expr.

---

Member Data Documentation

const char* ibex::Apply::f

The name of the applied function.

const int ibex::Apply::n

The number of arguments.

const Expr** ibex::Apply::args

The actual arguments.

---

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

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