

Public Member Functions | |
| void | display () const |
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 31 of file MP_index.cpp.
| flopc::MP_index_constant::MP_index_constant | ( | const Constant & | c | ) | [inline, private] |
Definition at line 38 of file MP_index.cpp.
| void flopc::MP_index_constant::display | ( | ) | const [inline, virtual] |
MP_model::getCurrentModel()->getMessenger()->logMessage(5,toString().c_str());
Reimplemented from flopc::MP_index_base.
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 45 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 42 of file MP_index.cpp.
friend class MP_index_exp [friend] |
Reimplemented from flopc::MP_index_base.
Definition at line 32 of file MP_index.cpp.
Constant flopc::MP_index_constant::C [private] |
Definition at line 48 of file MP_index.cpp.
Referenced by evaluate().
1.6.1