FLOPC++
|
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) |
Additional Inherited Members | |
![]() | |
virtual int | evaluate () const =0 |
virtual MP_index * | getIndex () const =0 |
virtual MP_domain | getDomain (MP_set *s) const =0 |
![]() | |
MP_index_base () | |
virtual | ~MP_index_base () |
Internal representation of an index expression.
Definition at line 215 of file MP_index.hpp.
Definition at line 219 of file MP_index.hpp.
|
inlineprivate |
Definition at line 221 of file MP_index.hpp.
Definition at line 101 of file MP_index.cpp.
References left.
|
inlineprivate |
Definition at line 224 of file MP_index.hpp.
References left.
|
friend |
Definition at line 71 of file MP_index.cpp.
|
friend |
returns an index expression from a difference between an MP_index and an integer. (i-5)
Definition at line 75 of file MP_index.cpp.
|
private |
Definition at line 228 of file MP_index.hpp.
Referenced by evaluate(), getDomain(), and getIndex().
|
private |
Definition at line 229 of file MP_index.hpp.
Referenced by evaluate().