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

Internal representation of an index expression. More...

#include <MP_index.hpp>

Inheritance diagram for flopc::MP_index_dif:

[legend]Collaboration diagram for flopc::MP_index_dif:

[legend]List of all members.

Private Member Functions
	MP_index_dif (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)
MP_index_exp	operator- (MP_index &i, const int &j)
	returns an index expression from a difference between an MP_index and an integer.

---

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 215 of file MP_index.hpp.

---

Constructor & Destructor Documentation

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

Definition at line 219 of file MP_index.hpp.

---

Member Function Documentation

int flopc::MP_index_dif::evaluate

(

)

const [inline, private, virtual]

Implements flopc::MP_index_base.

Definition at line 221 of file MP_index.hpp.

References left, and right.

MP_index* flopc::MP_index_dif::getIndex

(

)

const [inline, private, virtual]

Implements flopc::MP_index_base.

Definition at line 224 of file MP_index.hpp.

References left.

virtual MP_domain flopc::MP_index_dif::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]

MP_index_exp operator-	(	MP_index &	i,
		const int &	j
	)			[friend]

returns an index expression from a difference between an MP_index and an integer.

(i-5)

---

Member Data Documentation

MP_index_exp flopc::MP_index_dif::left [private]

Definition at line 228 of file MP_index.hpp.

Referenced by evaluate(), and getIndex().

Constant flopc::MP_index_dif::right [private]

Definition at line 229 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

---