ibex::PowerExpr Class Reference
[Expressions]

Power expression. More...

#include <IbexExpr.h>

Inheritance diagram for ibex::PowerExpr:

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
Friends
const Expr &	pow (const Expr &, int)

---

Detailed Description

Power expression.

Author:

Gilles Chabert

Date:

March 2007

---

Member Function Documentation

const Equality& ibex::PowerExpr::operator=

(

const Expr &

right

)

const [inline]

Create an equality constraint expr=expr.

Reimplemented from ibex::Expr.

const Equality& ibex::PowerExpr::operator=

(

const INTERVAL &

value

)

const [inline]

Create an equality constraint expr=value.

Reimplemented from ibex::Expr.

virtual void ibex::PowerExpr::acceptVisitor

(

Visitor &

v

)

const [inline, virtual]

Accept an ibex::Expr visitor.

Implements ibex::Expr.

---

Friends And Related Function Documentation

const Expr& pow	(	const Expr &	left,
		int	expon
	)			[friend]

Raises left to the power expnon.

Note:

operator ^ is not used because its associativity and priority defined in C++ does not match mathematical usage.

---

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

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