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)
	returns an index expression from a difference between an MP_index and an integer. More...

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.

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

inlineprivatevirtual

Implements flopc::MP_index_base.

Definition at line 228 of file MP_index.hpp.

virtual MP_domain flopc::MP_index_dif::getDomain ( MP_set *  s ) const

privatevirtual

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

Constant flopc::MP_index_dif::right

private

Definition at line 233 of file MP_index.hpp.

---

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

• /tmp/Smi-0.96.1/FlopCpp/src/MP_index.hpp