flopc::MP_index_mult Class Reference
[Internal (private) interface.]

Internal representation of an index expression. More...

#include <MP_index.hpp>

Inheritance diagram for flopc::MP_index_mult:

[legend]Collaboration diagram for flopc::MP_index_mult:

[legend]List of all members.

Private Member Functions
	MP_index_mult (MP_index &i, const Constant &j)
int	evaluate () const
MP_index *	getIndex () const
virtual MP_domain	getDomain (MP_set *s) const
Private Attributes
MP_index_exp	left
Constant	right
Friends
MP_index_exp	operator * (MP_index &i, const Constant &j)
	returns an index expression from a product between an MP_index and a Constant.

---

Detailed Description

Internal representation of an index expression.

Note:

FOR INTERNAL USE: This is not normally used directly by the calling code.

See also:

operator*(MP_index& i, const Constant & j);

Definition at line 170 of file MP_index.hpp.

---

Constructor & Destructor Documentation

flopc::MP_index_mult::MP_index_mult	(	MP_index &	i,
		const Constant &	j
	)			[inline, private]

Definition at line 173 of file MP_index.hpp.

---

Member Function Documentation

int flopc::MP_index_mult::evaluate

(

)

const [inline, private, virtual]

Implements flopc::MP_index_base.

Definition at line 175 of file MP_index.hpp.

References left, and right.

MP_index* flopc::MP_index_mult::getIndex

(

)

const [inline, private, virtual]

Implements flopc::MP_index_base.

Definition at line 178 of file MP_index.hpp.

References left.

virtual MP_domain flopc::MP_index_mult::getDomain

(

MP_set *

s

)

const [private, virtual]

Implements flopc::MP_index_base.

---

Friends And Related Function Documentation

MP_index_exp operator *	(	MP_index &	i,
		const Constant &	j
	)			[friend]

returns an index expression from a product between an MP_index and a Constant.

---

Member Data Documentation

MP_index_exp flopc::MP_index_mult::left [private]

Definition at line 182 of file MP_index.hpp.

Referenced by evaluate(), and getIndex().

Constant flopc::MP_index_mult::right [private]

Definition at line 183 of file MP_index.hpp.

Referenced by evaluate().

---

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

• /home/coin/SVN-release/CoinAll-1.1.0/FlopCpp/src/MP_index.hpp

---