Internal representation of an index expression. More...
#include <MP_index.hpp>
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. |
Internal representation of an index expression.
Definition at line 215 of file MP_index.hpp.
Definition at line 219 of file MP_index.hpp.
int flopc::MP_index_dif::evaluate | ( | ) | const [inline, private, virtual] |
Implements flopc::MP_index_base.
Definition at line 221 of file MP_index.hpp.
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.
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 difference between an MP_index and an integer.
(i-5)
MP_index_exp flopc::MP_index_dif::left [private] |
Definition at line 228 of file MP_index.hpp.
Constant flopc::MP_index_dif::right [private] |
Definition at line 229 of file MP_index.hpp.