flopc::MP_index_constant Class Reference

Inheritance diagram for flopc::MP_index_constant:

Collaboration diagram for flopc::MP_index_constant:

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

Additional Inherited Members
Protected Member Functions inherited from flopc::MP_index_base
	MP_index_base ()
virtual	~MP_index_base ()

Detailed Description

Definition at line 31 of file MP_index.cpp.

Constructor & Destructor Documentation

flopc::MP_index_constant::MP_index_constant ( const Constant &  c )

inlineprivate

Definition at line 38 of file MP_index.cpp.

Member Function Documentation

void flopc::MP_index_constant::display ( ) const

inlinevirtual

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

inlineprivatevirtual

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

inlineprivatevirtual

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

inlineprivatevirtual

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

Definition at line 32 of file MP_index.cpp.

Member Data Documentation

Constant flopc::MP_index_constant::C

private

Definition at line 48 of file MP_index.cpp.

Referenced by evaluate().

---

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

• MP_index.cpp