FLOPC++
Private Member Functions | Private Attributes | Friends | List of all members
flopc::MP_index_mult Class Reference

Internal representation of an index expression. More...

#include <MP_index.hpp>

Inheritance diagram for flopc::MP_index_mult:
flopc::MP_index_base

Private Member Functions

 MP_index_mult (MP_index &i, const Constant &j)
 
int evaluate () const
 
MP_indexgetIndex () 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

- Protected Member Functions inherited from flopc::MP_index_base
 MP_index_base ()
 
virtual ~MP_index_base ()
 

Detailed Description

Internal representation of an index expression.

Note
FOR INTERNAL USE: This is not normally used directly by the calling code.
See also
operator*(MP_index& i, const Constant & j);

Definition at line 170 of file MP_index.hpp.

Constructor & Destructor Documentation

flopc::MP_index_mult::MP_index_mult ( MP_index i,
const Constant j 
)
inlineprivate

Definition at line 173 of file MP_index.hpp.

Member Function Documentation

int flopc::MP_index_mult::evaluate ( ) const
inlineprivatevirtual

Implements flopc::MP_index_base.

Definition at line 175 of file MP_index.hpp.

References left, and right.

MP_domain MP_index_mult::getDomain ( MP_set s) const
privatevirtual

Implements flopc::MP_index_base.

Definition at line 93 of file MP_index.cpp.

References left.

MP_index* flopc::MP_index_mult::getIndex ( ) const
inlineprivatevirtual

Implements flopc::MP_index_base.

Definition at line 178 of file MP_index.hpp.

References left.

Friends And Related Function Documentation

MP_index_exp operator* ( MP_index i,
const Constant j 
)
friend

returns an index expression from a product between an MP_index and a Constant.

Definition at line 79 of file MP_index.cpp.

Member Data Documentation

MP_index_exp flopc::MP_index_mult::left
private

Definition at line 182 of file MP_index.hpp.

Referenced by evaluate(), getDomain(), and getIndex().

Constant flopc::MP_index_mult::right
private

Definition at line 183 of file MP_index.hpp.

Referenced by evaluate().


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