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

Internal representation of an index expression. More...

#include <MP_index.hpp>

Inheritance diagram for flopc::MP_index_sum:
Inheritance graph
[legend]
Collaboration diagram for flopc::MP_index_sum:
Collaboration graph
[legend]

List of all members.

Private Member Functions

 MP_index_sum (MP_index &i, const Constant &j)
int evaluate () const
MP_indexgetIndex () 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)

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


Constructor & Destructor Documentation

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

Definition at line 200 of file MP_index.hpp.


Member Function Documentation

int flopc::MP_index_sum::evaluate (  )  const [inline, private, virtual]

Implements flopc::MP_index_base.

Definition at line 202 of file MP_index.hpp.

References left, and right.

MP_domain MP_index_sum::getDomain ( MP_set s  )  const [private, virtual]

Implements flopc::MP_index_base.

Definition at line 105 of file MP_index.cpp.

References left.

MP_index* flopc::MP_index_sum::getIndex (  )  const [inline, private, virtual]

Implements flopc::MP_index_base.

Definition at line 205 of file MP_index.hpp.

References left.


Friends And Related Function Documentation

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

returns an index expression from a sum between an MP_index and an integer. (i+5)

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

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


Member Data Documentation

Definition at line 209 of file MP_index.hpp.

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

Definition at line 210 of file MP_index.hpp.

Referenced by evaluate().


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

Generated on 7 Oct 2014 for FLOPC++ by  doxygen 1.6.1