flopc::MP_index_dif Class Reference

Internal representation of an index expression. More...

#include <MP_index.hpp>

Inheritance diagram for flopc::MP_index_dif:

Collaboration diagram for flopc::MP_index_dif:

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)

Additional Inherited Members
Public Member Functions inherited from flopc::MP_index_base
virtual void	display () const
Protected Member Functions inherited from flopc::MP_index_base
	MP_index_base ()
virtual	~MP_index_base ()

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

Constructor & Destructor Documentation

flopc::MP_index_dif::MP_index_dif ( MP_index &  i, const Constant &  j  )

inlineprivate

Definition at line 223 of file MP_index.hpp.

Member Function Documentation

int flopc::MP_index_dif::evaluate ( ) const

inlineprivatevirtual

Implements flopc::MP_index_base.

Definition at line 225 of file MP_index.hpp.

References left, and right.

MP_domain MP_index_dif::getDomain ( MP_set *  s ) const

privatevirtual

Implements flopc::MP_index_base.

Definition at line 109 of file MP_index.cpp.

References left.

MP_index* flopc::MP_index_dif::getIndex ( ) const

inlineprivatevirtual

Implements flopc::MP_index_base.

Definition at line 228 of file MP_index.hpp.

References left.

Friends And Related Function Documentation

MP_index_exp operator- ( MP_index &  i, const Constant &  j  )

friend

Definition at line 79 of file MP_index.cpp.

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)

Definition at line 83 of file MP_index.cpp.

Member Data Documentation

MP_index_exp flopc::MP_index_dif::left

private

Definition at line 232 of file MP_index.hpp.

Referenced by evaluate(), getDomain(), and getIndex().

Constant flopc::MP_index_dif::right

private

Definition at line 233 of file MP_index.hpp.

Referenced by evaluate().

---

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

• MP_index.hpp
• MP_index.cpp