flopc::MP_index_constant Class Reference

Inheritance diagram for flopc::MP_index_constant:
Inheritance graph
[legend]
Collaboration diagram for flopc::MP_index_constant:
Collaboration graph
[legend]

List of all members.

Public Member Functions

void display () const

Private Member Functions

 MP_index_constant (const Constant &c)
int evaluate () const
MP_indexgetIndex () const
virtual MP_domain getDomain (MP_set *s) const

Private Attributes

Constant C

Friends

class MP_index_exp

Detailed Description

Definition at line 31 of file MP_index.cpp.


Constructor & Destructor Documentation

flopc::MP_index_constant::MP_index_constant ( const Constant c  )  [inline, private]

Definition at line 38 of file MP_index.cpp.


Member Function Documentation

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]

Implements flopc::MP_index_base.

Definition at line 39 of file MP_index.cpp.

References C.

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.


Friends And Related Function Documentation

friend class MP_index_exp [friend]

Reimplemented from flopc::MP_index_base.

Definition at line 32 of file MP_index.cpp.


Member Data Documentation

Definition at line 48 of file MP_index.cpp.

Referenced by evaluate().


The documentation for this class was generated from the following file:

Generated on 14 Sep 2013 for FLOPC++ by  doxygen 1.6.1