ibex::Constant Class Reference
[Expressions]

Constant expression. More...

#include <IbexExpr.h>

Inheritance diagram for ibex::Constant:

List of all members.

Public Member Functions
const Constant &	copy ()
virtual bool	is_zero () const
virtual void	acceptVisitor (Visitor &v) const
const INTERVAL &	get_value () const
const INTERVAL_MATRIX &	get_matrix_value () const
Static Public Member Functions
static const Constant &	new_scalar (Env &env, const INTERVAL &value)
static const Constant &	new_vector (Env &env, const INTERVAL_VECTOR &value)
static const Constant &	new_matrix (Env &env, const INTERVAL_MATRIX &value)

---

Detailed Description

Constant expression.

Author:

Gilles Chabert

Date:

2007

---

Member Function Documentation

static const Constant& ibex::Constant::new_scalar	(	Env &	env,
		const INTERVAL &	value
	)			[inline, static]

Create a scalar constant.

static const Constant& ibex::Constant::new_vector	(	Env &	env,
		const INTERVAL_VECTOR &	value
	)			[inline, static]

Create a vector constant.

static const Constant& ibex::Constant::new_matrix	(	Env &	env,
		const INTERVAL_MATRIX &	value
	)			[inline, static]

Create a matrix constant.

const Constant& ibex::Constant::copy

(

)

[inline]

Return a copy of a constant.

bool Constant::is_zero

(

)

const [virtual]

Return true if this constant is either 0, the null vector or the null matrix.

Reimplemented from ibex::Expr.

virtual void ibex::Constant::acceptVisitor

(

Visitor &

v

)

const [inline, virtual]

Accept an ibex::Expr visitor.

Implements ibex::Expr.

const INTERVAL& ibex::Constant::get_value

(

)

const [inline]

Return the value of the constant under the form of an INTERVAL. If the constant is a matrix, the first entry is returned (no error).

const INTERVAL_MATRIX& ibex::Constant::get_matrix_value

(

)

const [inline]

Return the value of the constant under the form of an INTERVAL_MATRIX. If the constant is not a matrix, the returned matrix is 1-row x 1-col.

---

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

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