Private Member Functions | |
MP_index_constant (const Constant &c) | |
int | evaluate () const |
MP_index * | getIndex () const |
virtual MP_domain | getDomain (MP_set *s) const |
Private Attributes | |
Constant | C |
Friends | |
class | MP_index_exp |
Definition at line 30 of file MP_index.cpp.
flopc::MP_index_constant::MP_index_constant | ( | const Constant & | c | ) | [inline, private] |
Definition at line 34 of file MP_index.cpp.
int flopc::MP_index_constant::evaluate | ( | ) | const [inline, private, virtual] |
virtual MP_domain flopc::MP_index_constant::getDomain | ( | MP_set * | s | ) | const [inline, private, virtual] |
Implements flopc::MP_index_base.
Definition at line 41 of file MP_index.cpp.
References flopc::MP_domain::getEmpty().
MP_index* flopc::MP_index_constant::getIndex | ( | ) | const [inline, private, virtual] |
Implements flopc::MP_index_base.
Definition at line 38 of file MP_index.cpp.
friend class MP_index_exp [friend] |
Reimplemented from flopc::MP_index_base.
Definition at line 31 of file MP_index.cpp.
Constant flopc::MP_index_constant::C [private] |
Definition at line 44 of file MP_index.cpp.
Referenced by evaluate().