apron::texpr0::builder Class Reference

Temporary expression nodes used when constructing a texpr0. More...

#include <apxx_texpr0.hh>

Inherits apron::use_malloc.

Public Member Functions
Constructors
	builder (const builder &x)
	Makes a shallow copy, copying only the root node. Sub-expressions are aliased, not copied.
	builder (const const_iterator &x)
	Makes a shallow copy, copying only the root node. Sub-expressions are aliased, not copied.
	builder (const texpr0 &x)
	Makes a shallow copy, copying only the root node. Sub-expressions are aliased, not copied.
	builder (const coeff &x)
	Makes a constant leaf from a scalar or interval coefficient (copied).
	builder (const scalar &x)
	Makes a constant scalar leaf from a scalar (copied).
	builder (const mpq_class &x)
	Makes a constant scalar leaf from a MPQ (copied).
	builder (mpfr_t x)
	Makes a constant scalar leaf from a MPFR (copied).
	builder (int x)
	Makes a constant scalar MPQ leaf from an integer.
	builder (long x)
	Makes a constant scalar MPQ leaf from an integer.
	builder (double x)
	Makes a constant scalar double leaf from a double.
	builder (const frac &x)
	Makes a constant scalar MPQ leaf from a fraction with integer coefficients.
	builder (const interval &x)
	Makes a constant interval leaf from an interval (copied).
	builder (const scalar &inf, const scalar &sup)
	Makes a constant interval leaf from two scalar bounds (copied).
	builder (const mpq_class &inf, const mpq_class &sup)
	Makes a constant interval leaf from two MPQ bounds (copied).
	builder (mpfr_t inf, mpfr_t sup)
	Makes a constant interval leaf from two MPFR bounds (copied).
	builder (int inf, int sup)
	Makes a constant interval leaf from two integer bounds (converted to MPQ).
	builder (long inf, long sup)
	Makes a constant interval leaf from two integer bounds (converted to MPQ).
	builder (double inf, double sup)
	Makes a constant interval leaf from two double bounds.
	builder (const frac &inf, const frac &sup)
	Makes a constant interval leaf from two fraction bounds (converted to MPQ).
	builder (top t)
	Makes a constant interval leaf equal to ]-oo;+oo[.
	builder (dim d)
	Makes a dimension leaf (i.e., variable of specified index).
	builder (ap_texpr_op_t op, const builder &argA, ap_texpr_rtype_t rtype, ap_texpr_rdir_t rdir)
	Makes a unary expression node.
	builder (ap_texpr_op_t op, const builder &argA, const builder &argB, ap_texpr_rtype_t rtype, ap_texpr_rdir_t rdir)
	Makes a binary expression node.
Destructor
	~builder ()
	Frees the memory occupied by the node, not its sub-expressions.
C API compatibility
ap_texpr0_t *	get_ap_texpr0_t ()
	Returns a pointer to the internal APRON object stored in *this.
const ap_texpr0_t *	get_ap_texpr0_t () const
	Returns a pointer to the internal APRON object stored in *this.
Public Member Functions inherited from apron::use_malloc
void *	operator new (size_t sz)
void *	operator new[] (size_t sz)
void	operator delete (void *p)
void	operator delete[] (void *p)

Protected Member Functions
builder &	operator= (const builder &x)
	Not to be used. (Temporaries are not to be re-assigned).
void	init_from (ap_texpr0_t *x)
	Internal use only: makes a shallow copy, copying only the root node.
	builder (ap_texpr0_t *x)
	Internal use only: makes a shallow copy, copying only the root node.

Protected Attributes
ap_texpr0_t *	l

'Intelligent' constructors
bool	is_zero () const
	Whether the expression is a single coefficient node with 0 value.

Detailed Description

Temporary expression nodes used when constructing a texpr0.

Builders allow constructing expression trees one node at a time using overloaded operators (+, -, *, /, %) and friend functions (add, sub, mul, div, mod, neg, sqrt, cast, unary, binary).

Each builder object manages a single node which is allocated by the constructor and destroyed by the destructor, without considering potential sub-nodes. As their usage is temporary (they are normally destructed at the end of full expressions), assignment, copy, and destruction can be shallow, which results in improved efficiency wrt. using texpr0 as temporaries.

You should not create variables of type build, nor define functions that return or take builder objects as arguments.

Constructor & Destructor Documentation

builder() [1/24]

texpr0::builder::builder ( ap_texpr0_t * x )

inlineprotected

Internal use only: makes a shallow copy, copying only the root node.

builder() [2/24]

texpr0::builder::builder ( const builder & x )

inline

Makes a shallow copy, copying only the root node. Sub-expressions are aliased, not copied.

builder() [3/24]

texpr0::builder::builder ( const const_iterator & x )

inline

Makes a shallow copy, copying only the root node. Sub-expressions are aliased, not copied.

builder() [4/24]

texpr0::builder::builder ( const texpr0 & x )

inline

Makes a shallow copy, copying only the root node. Sub-expressions are aliased, not copied.

builder() [5/24]

texpr0::builder::builder ( const coeff & x )

inline

Makes a constant leaf from a scalar or interval coefficient (copied).

builder() [6/24]

texpr0::builder::builder ( const scalar & x )

inline

Makes a constant scalar leaf from a scalar (copied).

builder() [7/24]

texpr0::builder::builder ( const mpq_class & x )

inline

Makes a constant scalar leaf from a MPQ (copied).

builder() [8/24]

texpr0::builder::builder ( mpfr_t x )

inline

Makes a constant scalar leaf from a MPFR (copied).

builder() [9/24]

texpr0::builder::builder ( int x )

inline

Makes a constant scalar MPQ leaf from an integer.

builder() [10/24]

texpr0::builder::builder ( long x )

inline

Makes a constant scalar MPQ leaf from an integer.

builder() [11/24]

texpr0::builder::builder ( double x )

inline

Makes a constant scalar double leaf from a double.

builder() [12/24]

texpr0::builder::builder ( const frac & x )

inline

Makes a constant scalar MPQ leaf from a fraction with integer coefficients.

builder() [13/24]

texpr0::builder::builder ( const interval & x )

inline

Makes a constant interval leaf from an interval (copied).

builder() [14/24]

texpr0::builder::builder ( const scalar & inf, const scalar & sup )

inline

Makes a constant interval leaf from two scalar bounds (copied).

builder() [15/24]

texpr0::builder::builder ( const mpq_class & inf, const mpq_class & sup )

inline

Makes a constant interval leaf from two MPQ bounds (copied).

builder() [16/24]

texpr0::builder::builder ( mpfr_t inf, mpfr_t sup )

inline

Makes a constant interval leaf from two MPFR bounds (copied).

builder() [17/24]

texpr0::builder::builder ( int inf, int sup )

inline

Makes a constant interval leaf from two integer bounds (converted to MPQ).

builder() [18/24]

texpr0::builder::builder ( long inf, long sup )

inline

Makes a constant interval leaf from two integer bounds (converted to MPQ).

builder() [19/24]

texpr0::builder::builder ( double inf, double sup )

inline

Makes a constant interval leaf from two double bounds.

builder() [20/24]

texpr0::builder::builder ( const frac & inf, const frac & sup )

inline

Makes a constant interval leaf from two fraction bounds (converted to MPQ).

builder() [21/24]

texpr0::builder::builder ( top t )

inline

Makes a constant interval leaf equal to ]-oo;+oo[.

builder() [22/24]

texpr0::builder::builder ( dim d )

inline

Makes a dimension leaf (i.e., variable of specified index).

builder() [23/24]

texpr0::builder::builder ( ap_texpr_op_t op, const builder & argA, ap_texpr_rtype_t rtype, ap_texpr_rdir_t rdir )

inline

Makes a unary expression node.

builder() [24/24]

texpr0::builder::builder ( ap_texpr_op_t op, const builder & argA, const builder & argB, ap_texpr_rtype_t rtype, ap_texpr_rdir_t rdir )

inline

Makes a binary expression node.

~builder()

texpr0::builder::~builder ( )

inline

Frees the memory occupied by the node, not its sub-expressions.

Member Function Documentation

get_ap_texpr0_t() [1/2]

ap_texpr0_t * texpr0::builder::get_ap_texpr0_t ( )

inline

Returns a pointer to the internal APRON object stored in *this.

get_ap_texpr0_t() [2/2]

const ap_texpr0_t * texpr0::builder::get_ap_texpr0_t ( ) const

inline

Returns a pointer to the internal APRON object stored in *this.

init_from()

void texpr0::builder::init_from ( ap_texpr0_t * x )

inlineprotected

Internal use only: makes a shallow copy, copying only the root node.

is_zero()

bool texpr0::builder::is_zero ( ) const

inline

Whether the expression is a single coefficient node with 0 value.

operator=()

builder & apron::texpr0::builder::operator= ( const builder & x )

inlineprotected

Not to be used. (Temporaries are not to be re-assigned).

Member Data Documentation

l

ap_texpr0_t* apron::texpr0::builder::l

protected

---

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

• /home/mine/apron/apronxx/apxx_texpr0.hh
• /home/mine/apron/apronxx/apxx_texpr0_inline.hh