Internal representation of an index expression. More...
#include <MP_index.hpp>


Private Member Functions | |
| MP_index_sum (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 sum between an MP_index and a Constant. | |
| MP_index_exp | operator+ (MP_index &i, const int &j) |
| returns an index expression from a sum between an MP_index and an integer. | |
Internal representation of an index expression.
Definition at line 192 of file MP_index.hpp.
Definition at line 196 of file MP_index.hpp.
| int flopc::MP_index_sum::evaluate | ( | ) | const [inline, private, virtual] |
Implements flopc::MP_index_base.
Definition at line 198 of file MP_index.hpp.
| MP_index* flopc::MP_index_sum::getIndex | ( | ) | const [inline, private, virtual] |
Implements flopc::MP_index_base.
Definition at line 201 of file MP_index.hpp.
Implements flopc::MP_index_base.
| 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 sum between an MP_index and an integer.
(i+5)
MP_index_exp flopc::MP_index_sum::left [private] |
Definition at line 205 of file MP_index.hpp.
Constant flopc::MP_index_sum::right [private] |
Definition at line 206 of file MP_index.hpp.
1.6.1