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

Internal representation of an index expression. More...

#include <MP_index.hpp>

Inheritance diagram for flopc::MP_index_sum:
flopc::MP_index_base

Private Member Functions

 MP_index_sum (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)
 
MP_index_exp operator+ (MP_index &i, const int &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 192 of file MP_index.hpp.

Constructor & Destructor Documentation

◆ MP_index_sum()

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

Definition at line 196 of file MP_index.hpp.

Member Function Documentation

◆ evaluate()

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

Implements flopc::MP_index_base.

Definition at line 198 of file MP_index.hpp.

◆ getDomain()

MP_domain MP_index_sum::getDomain ( MP_set s) const
privatevirtual

Implements flopc::MP_index_base.

Definition at line 97 of file MP_index.cpp.

◆ getIndex()

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

Friends And Related Function Documentation

◆ operator+ [1/2]

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

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

Definition at line 63 of file MP_index.cpp.

◆ operator+ [2/2]

MP_index_exp operator+ ( MP_index i,
const int &  j 
)
friend

returns an index expression from a sum between an MP_index and an integer. (i+5)

Definition at line 67 of file MP_index.cpp.

Member Data Documentation

◆ left

MP_index_exp flopc::MP_index_sum::left
private

Definition at line 205 of file MP_index.hpp.

◆ right

Constant flopc::MP_index_sum::right
private

Definition at line 206 of file MP_index.hpp.


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