FLOPC++
|
Internal representation of an index expression. More...
#include <MP_index.hpp>
Private Member Functions | |
MP_index_mult (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) |
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 170 of file MP_index.hpp.
Definition at line 173 of file MP_index.hpp.
|
inlineprivate |
Definition at line 175 of file MP_index.hpp.
Definition at line 93 of file MP_index.cpp.
References left.
|
inlineprivate |
Definition at line 178 of file MP_index.hpp.
References left.
|
friend |
returns an index expression from a product between an MP_index and a Constant.
Definition at line 79 of file MP_index.cpp.
|
private |
Definition at line 182 of file MP_index.hpp.
Referenced by evaluate(), getDomain(), and getIndex().
|
private |
Definition at line 183 of file MP_index.hpp.
Referenced by evaluate().