ibex::FunctionFactory Class Reference
[Expressions]

Function factory. More...

#include <IbexFunction.h>

List of all members.

Public Member Functions
const Symbol &	symbol_expr (const char *base_name, int &status) const
const Symbol &	set_output (const char *name, Dim d=Dim(0, 0, 0))
const Symbol &	add_tmp_symbol (const char *name, Dim d=Dim(0, 0, 0))
void	add_assign (const Assign &assign)
const Function &	build_func ()
Env &	func_env ()

---

Detailed Description

Function factory.

Author:

Gilles Chabert

Date:

December 2007

---

Member Function Documentation

const Symbol & ibex::FunctionFactory::symbol_expr	(	const char *	base_name,
		int &	status
	)			const

Return the symbol expression corresponding to an argument. In return, status is: 0 - if the name is an input symbol, 1 - if the name is an output symbol, 2 - if the name is a tmp symbol.

Returns the symbol expression corresponding to an argument. In return, status is: 0 - if the name is an input symbol 1 - if the name is an output symbol 2 - if the name is a tmp symbol

const Symbol & ibex::FunctionFactory::set_output	(	const char *	name,
		Dim	d = Dim(0,0,0)
	)

Sets the output argument of the function. This function must be called after all inputs have been added.

const Symbol & ibex::FunctionFactory::add_tmp_symbol	(	const char *	name,
		Dim	d = Dim(0,0,0)
	)

Add a temporary symbol for the function code. This function must be called after output and all inputs have been set.

void ibex::FunctionFactory::add_assign

(

const Assign &

assign

)

Add an assignemnt x:=expr in the code of the function. Symbol x must be either a temporary symbol or the output symbol, with possibly some subscripts (e.g., x[1][2]:=expr).

const Function & ibex::FunctionFactory::build_func

(

)

Builds the function and returns a reference to it.

Env& ibex::FunctionFactory::func_env

(

)

[inline]

Return the environment of the function to be built.

---

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

• src/IbexFunction.h
• src/IbexFunction.cpp